34 results found Sort:
- Filter by Primary Language:
- OCaml (5)
- Haskell (5)
- TypeScript (4)
- Rust (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
254 commits to main branch, last one 4 months ago
A modern proof language
Created
2018-07-13
279 commits to master branch, last one 4 months 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 8 years ago
Agda is a dependently typed programming language / interactive theorem prover.
Created
2015-08-08
23,323 commits to master branch, last one a day ago
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
A Coq library for Homotopy Type Theory
Created
2011-03-26
7,240 commits to master branch, last one 10 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 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 8 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 3 years ago
My personal repository of formally verified mathematics.
Created
2017-07-04
1,410 commits to main branch, last one about a month ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created
2018-02-05
4,823 commits to master branch, last one 6 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 5 years ago
Lecture notes on univalent foundations of mathematics with Agda
Created
2019-03-20
1,048 commits to master branch, last one about a year ago
😎TT
Created
2019-12-20
609 commits to main branch, last one about a year 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 3 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 7 months 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 4 years ago
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Created
2015-06-05
3,537 commits to master branch, last one 6 days ago
Cicada Language (solo version)
Created
2021-03-28
6,372 commits to master branch, last one 3 months ago
A SuperCompiler for Martin-Löf's Type Theory
Created
2013-10-15
527 commits to master branch, last one 3 years ago
A curated list of awesome Category Theory resources.
Created
2023-07-30
35 commits to main branch, last one about a year ago
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
Created
2023-05-03
301 commits to master branch, last one 4 days 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 3 months ago
Book: Introduction to Dependent Types with Idris
Created
2018-08-01
328 commits to master branch, last one 2 years 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
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