34 results found Sort:

339
5.3k
unknown
275
Programming Language Theory λΠ
Created 2013-07-30
254 commits to main branch, last one 2 months ago
145
3.6k
mit
76
A modern proof language
Created 2018-07-13
279 commits to master branch, last one about a month ago
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Created 2015-01-05
299 commits to master branch, last one 7 years ago
366
2.6k
other
66
Agda is a dependently typed programming language / interactive theorem prover.
Created 2015-08-08
23,186 commits to master branch, last one 2 days ago
216
2.1k
apache-2.0
116
Lean Theorem Prover
This repository has been archived (exclude archived)
Created 2013-07-17
13,725 commits to master branch, last one about a year ago
195
1.3k
other
61
A Coq library for Homotopy Type Theory
Created 2011-03-26
6,947 commits to master branch, last one a day ago
26
616
apache-2.0
30
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Created 2017-12-19
1,071 commits to main branch, last one 3 years ago
Experimental implementation of Cubical Type Theory
Created 2015-02-26
689 commits to master branch, last one about a year ago
Playing Sudoku in TypeScript while the type checker highlights mistakes.
Created 2023-07-20
31 commits to master branch, last one 5 months ago
15
391
unknown
43
Research on integrating datalog & lambda calculus via monotonicity types
Created 2015-11-20
2,216 commits to master branch, last one 2 years ago
18
367
agpl-3.0
15
Programming language agnostic type construction language based on polynomials.
Created 2017-10-09
423 commits to master branch, last one 3 years ago
12
295
other
11
My personal repository of formally verified mathematics.
Created 2017-07-04
1,376 commits to main branch, last one 8 days ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created 2018-02-05
4,672 commits to master branch, last one 10 hours ago
The People's Refinement Logic
This repository has been archived (exclude archived)
Created 2016-01-05
1,013 commits to master branch, last one 5 years ago
14
221
apache-2.0
20
😎TT
Created 2019-12-20
609 commits to main branch, last one about a year ago
12
205
apache-2.0
25
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Created 2018-03-07
1,139 commits to master branch, last one 2 years ago
3
186
mpl-2.0
5
Variant types in TypeScript
Created 2019-09-25
120 commits to master branch, last one 2 years ago
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Created 2023-03-16
11 commits to main branch, last one 5 months ago
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Created 2020-03-29
38 commits to master branch, last one 3 years ago
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Created 2015-06-05
3,506 commits to master branch, last one 10 days ago
Cicada Language (solo version)
Created 2021-03-28
6,372 commits to master branch, last one about a month ago
A SuperCompiler for Martin-Löf's Type Theory
Created 2013-10-15
527 commits to master branch, last one 3 years ago
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Created 2018-11-20
421 commits to master branch, last one 2 years ago
Cicada Language (PLCT little team)
Created 2022-08-07
1,874 commits to master branch, last one about a month ago
8
90
gpl-3.0
5
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
Created 2023-05-03
199 commits to master branch, last one 6 days ago
4
75
other
9
Book: Introduction to Dependent Types with Idris
Created 2018-08-01
328 commits to master branch, last one about a year ago
List of papers and other resources at the intersection of Category Theory and NLP.
Created 2021-04-28
11 commits to master branch, last one 3 years ago
4
43
gpl-3.0
4
Neon lights in the night tonight and stars that shine in the open sky
Created 2022-04-04
455 commits to main branch, last one about a year ago