RyanGibb / hillingarLinks
Build Mirage unikernels with Nix
☆44Updated 7 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 weeks ago
- Turn opam-based OCaml projects into Nix derivations☆142Updated 2 weeks ago
- Interactive breakpoints!☆44Updated 3 months ago
- Bindings to io_uring for OCaml☆63Updated last month
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆36Updated 2 months ago
- OCaml notebooks as a WebComponent☆43Updated last month
- Realtime grep for OCaml/Coq sources available on opam☆85Updated last year
- MirageOS on RPi4☆64Updated 2 years ago
- An OCaml mutation tester☆66Updated 2 months ago
- PBT testsuite and libraries for testing multicore OCaml☆45Updated last month
- Generate nix expressions from opam packages☆92Updated 9 months ago
- ☆42Updated 2 years ago
- Menhir polishing toolbox, for experienced druids☆35Updated 3 weeks ago
- Pure OCaml Wayland protocol implementation☆85Updated 4 months ago
- IO should be just a library☆23Updated 2 years ago
- Create Opam switches where the compiler and tools are built by Nix.☆11Updated last week
- A library that makes it nicer to work with nested functional data structures☆60Updated last week
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Implementation of a matrix server in OCaml for MirageOS☆50Updated 2 years ago
- An OCaml library for creating pandoc filters.☆32Updated last year
- A Deductive Verification Tool for OCaml Programs☆75Updated last month
- Show the internal dependencies in your OCaml/Reason/Dune project☆61Updated 6 months ago
- Meta-preprocessor for OCaml☆78Updated last year
- Runtime assertion checking based on Gospel specifications☆52Updated last month
- Property-based testing at ease☆42Updated 4 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Updated 6 months ago
- Command-line and Emacs Calendar Client☆21Updated last week
- Commodity thread pools and concurrency primitives for OCaml 5☆68Updated this week
- OCaml types to Yaml types and back again☆41Updated 5 months ago
- Notes on OCaml debugging and performance☆16Updated 2 months ago