mor1 / mirage-tutorialLinks
MirageOS tutorial notebooks using IOCaml
☆16Updated 7 years ago
Alternatives and similar repositories for mirage-tutorial
Users that are interested in mirage-tutorial are comparing it to the libraries listed below
Sorting:
- Unicode text for OCaml☆14Updated 7 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆21Updated 3 years ago
- a distributed computing library for OCaml☆24Updated last year
- OCaml implementation of the MQTT pubsub protocol.☆19Updated 4 years ago
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- An Irmin backend for a web browser's IndexedDB store☆34Updated 9 months ago
- Another way to describe mirage☆19Updated 6 years ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- Painless micro-benchmarks☆20Updated 6 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Software construction and deployment kit☆34Updated 3 weeks ago
- Portable implementation of the Irmin Watch API☆14Updated last year
- ☆15Updated 4 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- ☆20Updated 6 years ago
- Result value combinators for OCaml☆37Updated last year
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Updated 4 years ago
- TypeScript to js_of_ocaml☆39Updated 9 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Updated 4 years ago
- collect activity and format as markdown for a journal☆18Updated 4 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Updated 4 years ago
- OCaml bindings for RocksDB☆21Updated last year
- OCaml implementation of Facebook's graphql, library and server.☆21Updated 9 years ago
- Microsite for the MirageOS hack retreats☆13Updated last month
- ☆12Updated 4 years ago
- Performance Application Programming Interface for OCaml☆16Updated 3 years ago
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Updated 2 years ago
- Open records implemented using map over universal type☆34Updated 5 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- The Noise Protocol Framework, with types☆26Updated 3 years ago