RyanGibb / hillingar
Build Mirage unikernels with Nix
☆40Updated this week
Alternatives and similar repositories for hillingar:
Users that are interested in hillingar are comparing it to the libraries listed below
- Build OCaml projects with Nix.☆56Updated 3 weeks ago
- Turn opam-based OCaml projects into Nix derivations☆124Updated last week
- Interactive breakpoints!☆43Updated 11 months ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 5 months ago
- Command-line and Emacs Calendar Client☆17Updated last week
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆34Updated last week
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- Generate nix expressions from opam packages☆94Updated 2 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆58Updated this week
- MirageOS on RPi4☆61Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 7 months ago
- Menhir polishing toolbox, for experienced druids☆33Updated 2 weeks ago
- An OCaml library for creating pandoc filters.☆31Updated 6 months ago
- Notes on OCaml debugging and performance☆16Updated 8 months ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆28Updated last year
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- Pure OCaml Wayland protocol implementation☆78Updated last month
- ☆42Updated last year
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆29Updated 8 months ago
- LP and MIP modeling in OCaml☆28Updated 3 weeks ago
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- PBT testsuite and libraries for testing multicore OCaml☆39Updated last week
- Runtime assertion checking based on Gospel specifications☆45Updated this week
- multi-shot continuations in OCaml☆48Updated 2 months ago
- A program launcher for Wayland☆14Updated last year
- OCaml behind the scenes: exceptions☆30Updated last year
- IO should be just a library☆23Updated last year
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated 2 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆38Updated 3 weeks ago
- Irmin-based Markdown Editor☆46Updated 2 years ago