ericlippert / flathead
I am learning OCaml by implementing some Z-machine tools, for fun!
☆30Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for flathead
- An experiment at expressing functors in F# the .NET type system.☆17Updated 10 years ago
- OCaml bindings for libgccjit☆26Updated 7 years ago
- ☆15Updated 9 years ago
- 1ML prototype interpreter☆19Updated 4 years ago
- Make OCaml native debugging awesome☆32Updated 4 years ago
- ☆20Updated 5 years ago
- Lookup and load installed OCaml modules☆16Updated 3 weeks ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- experiments with @robkuz LimitedValue type☆70Updated 5 years ago
- Intro to F# demo project☆25Updated 6 years ago
- Effect-Driven Compiler Tester for OCaml☆38Updated 5 years ago
- New version of the PML language and (classical) proof assistant☆20Updated 2 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Collection of F# snippets☆40Updated 7 months ago
- Program verification with F* course materials☆11Updated 5 years ago
- WIP Handbook for MirageOS☆14Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆132Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Effectful OCaml with Objects and Variants☆29Updated last year
- DEPRECATED: Abstraction over Stdlib, Lwt, and Async.☆26Updated 7 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- Cross-runtime object interface generation☆35Updated 3 years ago
- OCaml syntax extension for synchronous programming...☆31Updated last year
- A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…☆28Updated 7 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- Unicode text for OCaml☆14Updated 6 years ago
- Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes☆22Updated 5 years ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆23Updated 7 years ago