RyanGibb / hillingar
Build Mirage unikernels with Nix
☆39Updated 8 months ago
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.☆54Updated last month
- Turn opam-based OCaml projects into Nix derivations☆113Updated this week
- Interactive breakpoints!☆43Updated 8 months ago
- ☆42Updated last year
- IO should be just a library☆23Updated last year
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 5 months ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆80Updated 4 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆55Updated last month
- multi-shot continuations in OCaml☆47Updated last week
- OCaml behind the scenes: exceptions☆29Updated last year
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- Menhir polishing toolbox, for experienced druids☆29Updated this week
- Notes on OCaml debugging and performance☆16Updated 5 months ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆56Updated 2 months ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- An OCaml library for creating pandoc filters.☆29Updated 3 months ago
- An ocaml library for manipulating diffs.☆19Updated 11 months ago
- A little project exploring Forests in Northern Ireland☆16Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- 🩺 A library for compiler diagnostics☆37Updated 3 weeks ago
- A library that makes it nicer to work with nested functional data structures☆54Updated 2 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆31Updated last week
- Pure OCaml Wayland protocol implementation☆72Updated 5 months ago
- Relational database programming for OCaml (unreleased)☆40Updated 2 weeks ago
- Tools for record-and-replay debugging☆43Updated last year
- Property-based testing at ease☆42Updated 3 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated 10 months ago
- SSH chat server using trust on first use for user registration☆31Updated 4 months ago
- Generate nix expressions from opam packages☆92Updated last week