-
sqlgg Public
Forked from ygrek/sqlggSQL Guided (code) Generator
OCaml GNU General Public License v2.0 UpdatedSep 23, 2026 -
opam-nix Public
Forked from tweag/opam-nixTurn opam-based OCaml projects into Nix derivations
Nix MIT License UpdatedSep 23, 2026 -
-
-
-
scd.niols.fr Public
Niols's Repository of (Mostly Unpublished) Scottish Country Dances
-
qcheck Public
Forked from c-cube/qcheckQuickCheck inspired property-based testing for OCaml.
OCaml BSD 2-Clause "Simplified" License UpdatedAug 30, 2026 -
dev.scd.niols.fr Public
Development version of “Niols's Repository of (Mostly Unpublished) Scottish Country Dances”.
HTML UpdatedJun 18, 2026 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedDec 15, 2025 -
-
ocaml-valet Public archive
Merged into https://github.com/niols/camelotte
Turing UpdatedNov 27, 2025 -
SpacedOut Public archive
Merged into https://github.com/niols/camelotte
OCaml MIT License UpdatedNov 27, 2025 -
ppx_monad Public archive
Merged into https://github.com/niols/camelotte
-
-
ppx_inline_signature Public archive
Superseeded by Valet in https://github.com/niols/camelotte
OCaml GNU General Public License v3.0 UpdatedNov 27, 2025 -
ppx_deriving_yojson Public
Forked from ocaml-ppx/ppx_deriving_yojsonA Yojson codec generator for OCaml.
OCaml MIT License UpdatedJun 13, 2025 -
pixelfed Public
Forked from pixelfed/pixelfedPhoto Sharing. For Everyone.
PHP GNU Affero General Public License v3.0 UpdatedMay 13, 2025 -
nixops4-nixos-norec Public
Forked from nixops4/nixops4-nixosAn integration to deploy NixOS with NixOps4
Nix UpdatedApr 24, 2025 -
opam-repository Public
Forked from ocaml/opam-repositoryNiols's fork of opam-repository
-
-
toytomata Public
An executable and library to help with automata courses
-
GSoC17 Public
Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder
-
-
-
-
Nix package for MobileSheets Companion
-
-
pre-commit-hooks.nix Public
Forked from cachix/git-hooks.nixSeamless integration of https://pre-commit.com git hooks with Nix.
Nix Apache License 2.0 UpdatedAug 21, 2024 -
-
erosanix Public
Forked from emmanuelrosa/erosanixMy main NixOS/Nix Flakes repository
Nix MIT License UpdatedMay 7, 2024
{{ message }}