A Python-like programming language for testing and experimenting with concurrent programs.
☆32Feb 20, 2026Updated last week
Alternatives and similar repositories for harmony
Users that are interested in harmony are comparing it to the libraries listed below
Sorting:
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE☆18Aug 5, 2022Updated 3 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated 11 months ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated 3 weeks ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Jan 13, 2026Updated last month
- A simple demonstration of how PyTorch autograd works☆16Sep 23, 2021Updated 4 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- HeteroCL-MLIR dialect for accelerator design☆42Sep 18, 2024Updated last year
- HeteroSim is a full system simulator supporting x86 multicore processors combined with a FPGA via bus-based architecture. Flexible design…☆21Jul 11, 2016Updated 9 years ago
- Parallel Groebner Basis Computation☆25May 8, 2023Updated 2 years ago
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated 3 weeks ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 6 months ago
- 📡 Open-source physical optics simulation package.☆20Updated this week
- Using e-graphs for logic synthesis (ICCAD'25)☆32Feb 20, 2026Updated last week
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- The Flix Programming Book☆21Updated this week
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Apheleia Verification Library. A Python based HDL verification library sitting on top of cocotb☆50Feb 19, 2026Updated last week
- ☆40Sep 17, 2021Updated 4 years ago
- Website for Systems Research Seminar at UIUC☆20Feb 21, 2026Updated last week
- Synthesize Verilog to Minecraft redstone☆21Nov 9, 2024Updated last year
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆22Oct 31, 2024Updated last year
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆38Aug 25, 2025Updated 6 months ago
- ☆20May 30, 2024Updated last year
- A easy general acc.☆18Mar 22, 2021Updated 4 years ago
- Rebuild YatSenOS On RISC-V 64.☆22Jan 6, 2022Updated 4 years ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Mar 13, 2023Updated 2 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆27Feb 21, 2026Updated last week
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- An efficient concurrent graph processing system☆46Oct 27, 2021Updated 4 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- Analog Circuit Simulator☆26Sep 6, 2024Updated last year
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆24Aug 12, 2025Updated 6 months ago