Starred repositories
A dependently-typed language with indexed inductive types supported.
A prototypical dependently typed languages with sized types and variances
Formalisation of coherence for (symmetric) monoidal groupoids
Diagram as Code Tool Written in Rust with Draggable Editing
Simply-typed lambda calculus as a QIT in cubical Agda + normalization
Espèces généralisées de structures sur les groupoïdes
Agda embedding of the denotational semantics of Scheme in R5RS
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A safe interface to GHC's delimited continuation primops.
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
Write expressive, high-performance parsers with ease.
🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
Not product, just an experiment. Someone please make it decent :)