RyanGibb / hillingarLinks
Build Mirage unikernels with Nix
☆42Updated 5 months ago
Alternatives and similar repositories for hillingar
Users that are interested in hillingar are comparing it to the libraries listed below
Sorting:
- Turn opam-based OCaml projects into Nix derivations☆135Updated 2 weeks ago
- Build OCaml projects with Nix.☆57Updated 5 months ago
- Interactive breakpoints!☆43Updated last month
- PBT testsuite and libraries for testing multicore OCaml☆41Updated last month
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆35Updated 3 weeks ago
- Generate nix expressions from opam packages☆93Updated 7 months ago
- Pure OCaml Wayland protocol implementation☆83Updated 2 months ago
- ☆42Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆85Updated last year
- IO should be just a library☆23Updated 2 years ago
- An OCaml mutation tester☆66Updated this week
- Menhir polishing toolbox, for experienced druids☆34Updated last week
- A Deductive Verification Tool for OCaml Programs☆75Updated last month
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆37Updated 4 months ago
- OCaml notebooks as a WebComponent☆42Updated last month
- OCaml types to Yaml types and back again☆41Updated 3 months ago
- An OCaml library for creating pandoc filters.☆32Updated 11 months ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆65Updated 10 months ago
- 🩺 A library for compiler diagnostics☆47Updated last month
- MirageOS on RPi4☆63Updated 2 years ago
- multi-shot continuations in OCaml☆49Updated 7 months ago
- Experimental model checker for testing concurrent algorithms☆39Updated 9 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆80Updated 3 weeks ago
- Effects-based OCaml Nameserver☆20Updated 3 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆63Updated last week
- A library that makes it nicer to work with nested functional data structures☆60Updated last month
- Bindings to io_uring for OCaml☆62Updated 2 weeks ago
- Documentation of the OCaml implementation☆52Updated 2 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated last month
- 🦠 Reusable components based on algebraic effects☆51Updated last month