Caffe: a fast open framework for deep learning.

Compatibility tool for Steam Play based on Wine and additional components

📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

An unidentifiable mechanism that helps you bypass GFW.

Cap'n Proto serialization/RPC system - core tools and C++ library

The Z3 Theorem Prover

Enabling the Windows Subsystem for Linux to include support for Wayland and X server related scenarios

图说设计模式

C++ Requests: Curl for People, a spiritual port of Python Requests.

Wechat Chat History Exporter 微信聊天记录导出备份程序

Bear is a tool that generates a compilation database for clang tooling.

The Linux perf GUI for performance analysis.

Yosys Open SYnthesis Suite

A machine learning compiler for GPUs, CPUs, and ML accelerators

A graphical processor simulator and assembly editor for the RISC-V ISA

Verilator open-source SystemVerilog simulator and lint system

🚀 A very efficient Texas Holdem GTO solver ♠️♥️♣️♦️

Circuit IR Compilers and Tools

The official repository for the gem5 computer-system architecture simulator.

maybe a new fcitx.

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

nextpnr portable FPGA place and route tool

Maybe it is the most quickly codesign alternative for iOS12+, cross-platform ( macOS, Linux , Windows ), more features.

Universal utility for programming FPGA

Qucs Project official mirror

Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]

KLayout Main Sources

Automatic verification of LLVM optimizations

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure