RyanGibb / hillingarLinks
Build Mirage unikernels with Nix
☆40Updated last month
Alternatives and similar repositories for hillingar
Users that are interested in hillingar are comparing it to the libraries listed below
Sorting:
- Turn opam-based OCaml projects into Nix derivations☆127Updated 2 weeks ago
- Interactive breakpoints!☆43Updated last year
- Build OCaml projects with Nix.☆57Updated 2 months ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 9 months ago
- Lock-free Sets and Maps for OCaml multicore☆33Updated 2 years ago
- Generate nix expressions from opam packages☆93Updated 4 months ago
- IO should be just a library☆23Updated last year
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 6 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆34Updated last month
- multi-shot continuations in OCaml☆48Updated 3 months ago
- OCaml notebooks as a WebComponent☆22Updated 3 weeks ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- ☆42Updated 2 years ago
- An OCaml library for creating pandoc filters.☆31Updated 7 months ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆29Updated 9 months ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 10 months ago
- Property-based testing at ease☆42Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- OCaml behind the scenes: exceptions☆30Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated 2 weeks ago
- Command-line and Emacs Calendar Client☆18Updated last month
- An OCaml mutation tester☆66Updated last month
- Notes on OCaml debugging and performance☆16Updated 9 months ago
- LP and MIP modeling in OCaml☆28Updated 2 months ago
- PBT testsuite and libraries for testing multicore OCaml☆40Updated this week
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Menhir polishing toolbox, for experienced druids☆33Updated last week
- ☆31Updated last year