RyanGibb / hillingarLinks
Build Mirage unikernels with Nix
☆41Updated 3 months ago
Alternatives and similar repositories for hillingar
Users that are interested in hillingar are comparing it to the libraries listed below
Sorting:
- Build OCaml projects with Nix.☆57Updated 3 months ago
- Generate nix expressions from opam packages☆93Updated 5 months ago
- Turn opam-based OCaml projects into Nix derivations☆133Updated last week
- Interactive breakpoints!☆43Updated last year
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆34Updated 2 months ago
- Realtime grep for OCaml/Coq sources available on opam☆85Updated 10 months ago
- Pure OCaml Wayland protocol implementation☆82Updated 4 months ago
- Menhir polishing toolbox, for experienced druids☆33Updated 2 weeks ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆36Updated last month
- MirageOS on RPi4☆63Updated 2 years ago
- OCaml notebooks as a WebComponent☆33Updated 2 weeks ago
- An OCaml mutation tester☆66Updated 2 months ago
- PBT testsuite and libraries for testing multicore OCaml☆40Updated last week
- IO should be just a library☆23Updated 2 years ago
- multi-shot continuations in OCaml☆48Updated 5 months ago
- An OCaml library for creating pandoc filters.☆31Updated 9 months ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated 2 months ago
- A library that makes it nicer to work with nested functional data structures☆59Updated last month
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- Bindings to io_uring for OCaml☆62Updated last year
- Show the internal dependencies in your OCaml/Reason/Dune project☆60Updated 2 months ago
- Command-line and Emacs Calendar Client☆18Updated 3 months ago
- Compile OCaml to standalone ANSI C file☆44Updated last month
- A fancy diagnostics library that allows your compilers to exit with grace☆76Updated 3 months ago
- Runtime assertion checking based on Gospel specifications☆46Updated this week
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- 🩺 A library for compiler diagnostics☆46Updated 5 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated this week
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year