Lists (21)
consensus, crdt, sync
6 repositories
Cool data structures, algorithms
1 repository
Crypto algos, libs
54 repositories
edu
46 repositories
fun
8 repositories
hackerish
38 repositories
hardware
78 repositories
homelab
61 repositories
htmz
10 repositories
lambda, coc, fp
10 repositories
Lean
185 repositories
local-first
63 repositories
P2P Data structures, DBs
19 repositories
P2P Networking
11 repositories
PrettyStuff
32 repositories
Sol
6 repositories
sqlite
5 repositories
urbit
161 repositories
Utils
17 repositories
WASM
11 repositories
Zig
2 repositories
Starred repositories
13
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
The Opa Language for Web Application Development
A library for building dynamic webapps, using Js_of_ocaml
A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
Bamboo see https://github.com/cornellblockchain/bamboo
ReasonML React Native App for SeattleJS Conf
Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
Author reputation, content trust, and origin / authorship analysis for wiki content.
Educational purpose implementation of ethereum yellow paper