milner

0 Followers · 0 Following

Joined on 2026-10-02

Repositories

7

Projects Packages Public Activity Starred Repositories

Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Most recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

scfg-induction

OCaml 0 0 0

Bayesian model merging for stochastic context-free grammar induction in OCaml

Updated 2026-09-23 15:00:00 +00:00

lambda-sub

Rocq Prover 0 0 0

Rocq formalisation of the lambda calculus with partial substitutions

Updated 2026-09-22 23:30:00 +00:00

meowc

OCaml 0 0 0

Build tool for C and C++ that derives build graphs/dependencies

Updated 2022-08-19 15:27:00 +00:00

tessera

Haskell 0 0 0

Pattern match compiler with exhaustiveness checking and counterexample generation (CS4201)

Updated 2020-03-25 12:00:00 +00:00

fieldglass

OCaml 0 0 0

Record lenses for composable accessors and immutable data updates

Updated 2019-04-26 18:12:00 +00:00

continuum_ppx

OCaml 0 0 0

OCaml syntax rewriter that turns let%continue bindings into callback function calls

Updated 2018-07-12 16:43:00 +00:00

delta

OCaml 0 0 0

A compiler for a small pure functional query language

Updated 2017-12-20 12:00:00 +00:00