An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
☆66Nov 11, 2024Updated last year
Alternatives and similar repositories for ocaml-flake-example
Users that are interested in ocaml-flake-example are comparing it to the libraries listed below
Sorting:
- OCaml-focused, custom nix-overlays☆116Updated this week
- Turn opam-based OCaml projects into Nix derivations☆148Feb 14, 2026Updated 2 weeks ago
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- Build Mirage unikernels with Nix☆48Feb 5, 2026Updated 3 weeks ago
- Build OCaml projects with Nix.☆59Dec 17, 2025Updated 2 months ago
- OCaml .mlx syntax dialect with JSX syntax expressions☆140Feb 24, 2026Updated last week
- Plutarch 2.0☆19Mar 31, 2025Updated 11 months ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- Run #NixOS on darwin, including Rosetta 2 & virtiofs!☆27Jul 23, 2025Updated 7 months ago
- Simple Nix derivations to bundle executables☆43Sep 27, 2024Updated last year
- Generate nix expressions from opam packages☆92Jan 29, 2025Updated last year
- Nix-based BEAM toolchain management☆42Mar 13, 2024Updated last year
- A declarative command-line parser for OCaml☆46Jan 5, 2026Updated last month
- type safe routing for Dream and Melange☆27Aug 11, 2025Updated 6 months ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- A statically generated webring with YOCaml, because we love small-web☆24Aug 25, 2025Updated 6 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Compositional and declarative user interface library for Clojure and Clojurescript☆13Sep 25, 2025Updated 5 months ago
- Menhir polishing toolbox, for experienced druids☆38Feb 16, 2026Updated 2 weeks ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Sandboxable Nix project evaluators☆17Dec 20, 2024Updated last year
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 10 months ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- ☆12Apr 17, 2025Updated 10 months ago
- ☆13Sep 2, 2024Updated last year
- CLI for Bitte☆13Apr 7, 2022Updated 3 years ago
- UNIX is my IDE and Neovim my Emacs☆13Jun 12, 2025Updated 8 months ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- ☆46Feb 6, 2026Updated 3 weeks ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- A minimal system managed by policy daemons with configuration being arbitrary code☆34Jan 23, 2026Updated last month
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆16Aug 24, 2025Updated 6 months ago
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Mar 20, 2020Updated 5 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 10 months ago
- A pure OCaml library for working with terminals☆33Apr 2, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- ☆57Nov 19, 2022Updated 3 years ago
- The Kraken Programming Language☆50Feb 8, 2024Updated 2 years ago