Cong Ma (MC)'s repositories
Language:OCaml000
cbmc
C Bounded Model Checker
Language:SWIGNOASSERTION000
koka
Koka language compiler and interpreter
Language:HaskellNOASSERTION000
liburing4cpp
Modern C++ binding for liburing (io_uring) that features C++ coroutines support
Language:C++MIT000
llvm-for-sstal
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
NOASSERTION000
Language:LLVM000
MIPS48PipelineCPU
5 stage pipelined MIPS-32 processor
Language:Verilog000
Language:CMIT000
Language:JavaScriptNOASSERTION000