Lists (1)
Stars
Research language for array processing in the Haskell/ML family
A programming language in Turkish where grammatical case and mood are part of the type system.
Minimal implementations for dependent type checking and elaboration
A demo implementation of a simple dependently-typed language
Experimental implementation of Cubical Type Theory
A Haskell library for typesafe music composition
A simple expressions language with polymorphic extensible row types.
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Grammatical Framework core: compiler, shell & runtimes
A language based on homotopy type theory with an interval
yacctt: Yet Another Cartesian Cubical Type Theory
A non-interactive proof assistant using the Haskell type system
An intensely interactive, graphical theorem prover based on natural deduction
A Whitespace-Based Dependently Typed Functional Programming Language
Haskell implementation of a version of cubical type theory developed for my master thesis
A dependently-typed language with indexed inductive types supported.
A lazy, purely functional language based on System F-omega with (restricted) equirecursive types.
A network-compatable rewrite of the Ace of Spades 0.* clients in Haskell
A Haskell library to parse/serialize Executable and Linkable Format (ELF)