RyanGibb / hillingar
Build Mirage unikernels with Nix
☆40Updated 3 weeks ago
Alternatives and similar repositories for hillingar:
Users that are interested in hillingar are comparing it to the libraries listed below
- Turn opam-based OCaml projects into Nix derivations☆127Updated last month
- Build OCaml projects with Nix.☆57Updated last month
- Interactive breakpoints!☆43Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 8 months ago
- Generate nix expressions from opam packages☆93Updated 3 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆34Updated 3 weeks ago
- ☆42Updated 2 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆59Updated last week
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- Lock-free Sets and Maps for OCaml multicore☆33Updated 2 years ago
- Property-based testing at ease☆42Updated 3 years ago
- MirageOS on RPi4☆61Updated 2 years ago
- Menhir polishing toolbox, for experienced druids☆33Updated last month
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 6 months ago
- Bindings to io_uring for OCaml☆62Updated 11 months ago
- Command-line and Emacs Calendar Client☆18Updated last month
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆29Updated 8 months ago
- A declarative command-line parser for OCaml☆43Updated last month
- Runtime assertion checking based on Gospel specifications☆45Updated this week
- Pure OCaml Wayland protocol implementation☆79Updated 2 months ago
- OCaml types to Yaml types and back again☆40Updated 5 months ago
- A Framework for building Batched Concurrent Services☆21Updated 7 months ago
- An OCaml library for creating pandoc filters.☆31Updated 7 months ago
- IO should be just a library☆23Updated last year
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- An ocaml library for manipulating diffs.☆19Updated last year
- OCaml behind the scenes: exceptions☆30Updated last year
- PBT testsuite and libraries for testing multicore OCaml☆40Updated this week
- Notes on OCaml debugging and performance☆16Updated 9 months ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated 2 weeks ago