There are no reviews yet. Be the first to send feedback to the community and the maintainers!
xv6
xv6 porting to GAIA architecturesatysfi-base
complementary collection of useful functions and modules for SATySFiGAIA3
GAIA Processorgc.h
Header-only Non-moving & Precise GC for CLeanHOL
super tiny implementation of higher-order logic proof assistant in leanyabai-sat
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distancechisel-uart
Uart module written in chiseldash
Debian Almquist shellmruby-partcont
partial continuation (a.k.a. delimited continuation) extension for mrubylisp.jsx
traditional lisp on jsxhomebrew-satysfi
rhhash.h
Generic Hashtable Implementation in Cshari
Shari the π£ proverxhash
super tiny hash tablechisel-brainfuck
Tiny Brainf**k CPU written in Chiselpicrin-old
xrope
rope data structurexjit
dynamic x86_64 code generator for c99umesh
Lightweight shell in 10 daysNLisp
Simple Scheme InterpreterKaguya
prologLauncher
A Simple Game Launcherbenz-gaia
printf
sandbox-testing-rs
Run rust unit tests in docker containerany.h
yield-closures
An implementation of MCP-49PSynth
Synthesizer in python for our culture festivalaobench-on-r7rs-scheme
aobench on r7rs schemehttpserver.c
bitvisor
Love Open Source and this site? Check out how you can help us