Researcher @ ETH Zurich (Bits to Energy Lab, Chair of Information Management)
@bitstoenergy
Stars
3
stars
written in C
Clear filter
Distribute and run LLMs with a single file.
ABC: System for Sequential Logic Synthesis and Formal Verification