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 4 months ago
- Interactive breakpoints!☆43Updated last year
- Turn opam-based OCaml projects into Nix derivations☆134Updated last week
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆35Updated 3 months ago
- Realtime grep for OCaml/Coq sources available on opam☆85Updated 11 months ago
- Generate nix expressions from opam packages☆93Updated 6 months ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- An OCaml mutation tester☆66Updated 3 weeks ago
- OCaml notebooks as a WebComponent☆39Updated 2 weeks ago
- PBT testsuite and libraries for testing multicore OCaml☆41Updated 2 weeks ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆37Updated 2 months ago
- IO should be just a library☆23Updated 2 years ago
- Menhir polishing toolbox, for experienced druids☆33Updated last month
- Implementation of a matrix server in OCaml for MirageOS☆50Updated 2 years ago
- A Deductive Verification Tool for OCaml Programs☆74Updated last week
- ☆42Updated 2 years ago
- Pure OCaml Wayland protocol implementation☆83Updated 3 weeks ago
- Bindings to io_uring for OCaml☆62Updated last year
- Experimental model checker for testing concurrent algorithms☆37Updated 7 months ago
- MirageOS on RPi4☆63Updated 2 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆62Updated last month
- OCaml types to Yaml types and back again☆40Updated last month
- Fast implementation of queue in OCaml☆51Updated last year
- An OCaml library for creating pandoc filters.☆32Updated 10 months ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆60Updated 3 months ago
- multi-shot continuations in OCaml☆48Updated 6 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆61Updated 9 months ago
- Command-line and Emacs Calendar Client☆18Updated 4 months ago