Pinned Loading

1. zaml zaml Public

   OCaml inspired language

   OCaml 8

2. ahrefs/ppx_mikmatch ahrefs/ppx_mikmatch Public

   Matching Regular Expressions with OCaml Patterns using Mikmatch's syntax

   OCaml 4 2

3. xlsx2csv xlsx2csv Public

   Simple OCaml library to export .xlsx files as CSVs

   OCaml 4

4. .dotfiles .dotfiles Public

   My configuration for all of my systems using Nix

   Nix 3

5. haskelite-coq haskelite-coq Public

   proof that haskelite's BS and SS semantics are equivalent

   Rocq Prover

6. radiocarbon-pipeline radiocarbon-pipeline Public

   OCurrent pipeline for the reproducible calibration of Radiocarbon dates

   OCaml 2