31 results found Sort:
- Filter by Primary Language:
- OCaml (4)
- Rust (4)
- Haskell (3)
- TypeScript (3)
- Agda (2)
- Coq (2)
- Idris (1)
- Java (1)
- CSS (1)
- C++ (1)
- Scala (1)
- Standard ML (1)
- TeX (1)
- C (1)
- +
Programming Language Theory λΠ
Created
2013-07-30
253 commits to main branch, last one 11 months ago
A next-gen functional language
Created
2018-07-13
619 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
Agda is a dependently typed programming language / interactive theorem prover.
Created
2015-08-08
22,573 commits to master branch, last one 15 hours ago
Lean Theorem Prover
This repository has been archived
(exclude archived)
Created
2013-07-17
13,725 commits to master branch, last one 8 months ago
A Coq library for Homotopy Type Theory
Created
2011-03-26
5,831 commits to master branch, last one 2 days ago
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 9 months ago
Research on integrating datalog & lambda calculus via monotonicity types
Created
2015-11-20
2,216 commits to master branch, last one 2 years ago
Programming language agnostic type construction language based on polynomials.
Created
2017-10-09
423 commits to master branch, last one 2 years ago
My personal repository of formally verified mathematics.
Created
2017-07-04
1,334 commits to main branch, last one 13 days 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 4 years ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created
2018-02-05
4,187 commits to master branch, last one 20 hours ago
Lecture notes on univalent foundations of mathematics with Agda
Created
2019-03-20
1,048 commits to master branch, last one 2 months ago
😎TT
Created
2019-12-20
609 commits to main branch, last one 8 months ago
"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
Variant types in TypeScript
Created
2019-09-25
120 commits to master branch, last one 2 years 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,419 commits to master branch, last one 18 days ago
Cicada Language (solo version)
Created
2021-03-28
6,370 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 2 years ago
Cicada Language (PLCT little team)
Created
2022-08-07
1,864 commits to master branch, last one about a month 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
Book: Introduction to Dependent Types with Idris
Created
2018-08-01
328 commits to master branch, last one about a year ago
A curated list of awesome Category Theory resources.
Created
2023-07-30
35 commits to main branch, last one 4 months 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 2 years ago
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 6 months ago
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Created
2023-03-16
10 commits to main branch, last one about a year ago
♾️ A library for universe levels and universe polymorphism
Created
2022-04-17
88 commits to main branch, last one 27 days ago
🍞 | IDE focused programming language study
Created
2023-07-18
316 commits to main branch, last one 7 months ago