abc
by berkeley-abc
ABC: System for Sequential Logic Synthesis and Formal Verification
AI summary
Digital circuit design tool
A system for designing and verifying sequential digital circuits
- stars
- 919
- forks
- 594
- watching
- 39
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Digital circuit synthesizer
Generates Makefiles to synthesize and route digital circuits from Verilog designs using Vivado
Transactional memory system
A Haskell implementation of software transactional memory for concurrent programming
C Compiler
A resurrected and improved implementation of the LLVM C Backend in Groff, enabling compilation of programs written in various programming languages to native machine code.
Program verifier
Automated verification of higher-order programs using separation logic
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Synthesizer
A polyphonic synthesizer with 4 oscillators and stereo FX, supporting JACK, ALSA, LV2, and OSC.
Circuit simulator
Asynchronous circuit design and simulation tools using a hardware description language.
Compiler
A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog.
Lisp-inspired language
An experimental implementation of a Haskell-like language with Racket's macro system
Synthesizer
An analog modelling software synthesizer with features like oscillators, envelopes and effects
Crypto implementation
A collection of basic cryptographic algorithms implemented from scratch in C.
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions abc.
