path

A lambda calculus to explore type-directed program synthesis.

BSD-3-CLAUSE License

Stars
83
View Code on GitHub View on X
Ecosystems: Haskell

Issue Statistics

Past Year

All Time

Total Pull Requests
0
24
Merged Pull Requests
0
22
Total Issues
0
76
Time to Close Issues
N/A
about 2 months
Related Projects
fp-course

Functional Programming Course

30 Jun 2011 1,027
type-systems

11 Feb 2017 23
cha

A port of miniprl to Haskell with co-/inductive types bolted on the side.

14 Apr 2016 22
higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Po...

12 Apr 2017 101
Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory s...

20 May 2018 18
seq

a µµ̃ calculus with pretty-printing and evaluating interpreters

09 Mar 2022 5
tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.

27 Feb 2020 15
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
lambdapi

Dependently Typed Lambda Calculus in Haskell

08 Jun 2013 107
sequoia

classical sequent calculus, embedded in Haskell

18 May 2021 19
coatl

silly dependently-typed language

13 Aug 2013 2
derivative-parsing

Parsing with Derivatives, in Haskell, with GADTs.

06 Mar 2016 5
surface

Dependently-typed language w/ little to say for itself

31 Jan 2017 10
lambda

An exploration and implementation of the lambda calculus.

31 Jan 2016 12
tagless

oleg modules

20 Feb 2013 26