Simon Fowler
Results
3
repositories owned by
Simon Fowler
cmm_of_wasm
87
Stars
1
Forks
Watchers
A compiler from WebAssembly to native code, via the OCaml backend.
IdrisNet2
57
Stars
8
Forks
Watchers
A proper network library for Idris, now that I know what I'm doing.