gabriel128

0xaa55

Sydney

Pinned Repositories

analysis_in_lean
Real Analysis in Lean4
Language:Lean00
cquel-lite
Language:C00
facts_vs_events
Language:Elixir10
gmalloc
Language:C10
haskell_assembler
An Assembler in Haskell
Language:Haskell10
if_true_if_false
Language:Ruby40
kernelito
Language:Rust20
OverDB
OverDB (yet another over engineered Database)
Language:Go00
response_callback
Language:Ruby30
y
Y lang
Language:Haskell00

gabriel128's Repositories

gabriel128/response_callback
Language:Ruby3
gabriel128/if_true_if_false
Language:Ruby4