arminbiere

arminbiere's Stars

• cksystemsteaching/selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  Language:Jupyter Notebook2.4k6292312

• lsils/mockturtle

  C++ logic network library

  Language:C++2071972138

• audemard/glucose

  The glucose SAT solver

  Language:C++722013