162 Repositories
galois-fft
19
datetime
18
butler-portugal
18
aoc-2025-lean
18
haskell-picosat
17
picologic
16
haskell-warp-rest
16
awesome-crypto-critique
16
vim-cabalfmt
15
jquery-mathml
12
gpu-offload
12
cooking-generics
12
beamer_template
12
print
10
haskell-linenoise
9
llvm-pp
7
groebner
7
gevent_viz
7
pycraig
6
bnlc
6
validation
5
unbound
5
ts
5
mcp-on-vercel
5
commentary
5
cfrac
5
tinynn
4
human_match
4
concurrent-timer
4
caverna-formal
4
Write-You-a-Haskell-2
3
websocket-logger
3
unirewrite
3
tipy
3
py-control-flow
3
pretty-latex
3
equation-editor
3
egg-sandwich
3
agents-experiment
3
vector-eigenvalues
2
tiny-ott
2
tiny-kernel
2
tiny-egraph
2
scheme
2
pure-python
2
lean4-rust
2
church-numbers
2
universal-mcp-installer
1
tiny-ga
1
simply_llvm
1