Pinned Repositories
ocamlformat
Auto-formatter for OCaml code
curios
Work-in-progress functional dependently typed programming language
enumify
A Rust macro that declares an `enum` (and a bunch of `impl From`s) based on a set of types
stlc
Experiments on type inference through unification based on the simply typed lambda calculus
ulc
Experiments on normalization by evaluation based on the untyped lambda calculus
circular-queue
A circular buffer-like queue container.
valmirjunior0088's Repositories
valmirjunior0088/curios
Work-in-progress functional dependently typed programming language
valmirjunior0088/enumify
A Rust macro that declares an `enum` (and a bunch of `impl From`s) based on a set of types
valmirjunior0088/stlc
Experiments on type inference through unification based on the simply typed lambda calculus
valmirjunior0088/ulc
Experiments on normalization by evaluation based on the untyped lambda calculus