169 Repositories
shamir
21
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
cooking-generics
12
beamer_template
12
gpu-offload
11
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
caverna-formal
5
tinynn
4
tiny-metaf
4
human_match
4
concurrent-timer
4
Write-You-a-Haskell-2
3
websocket-logger
3
unirewrite
3
tipy
3
tiny-kernel
3
py-control-flow
3
pretty-latex
3
patternkit
3
equation-editor
3
egg-sandwich
3
agents-experiment
3
vector-eigenvalues
2
tiny-ott
2
tiny-egraph
2
tiny-2ltt
2
scheme
2
pure-python
2
offsides
2