23 results found Sort:
- Filter by Primary Language:
- Agda (14)
- Haskell (4)
- HTML (1)
- ReScript (1)
- Scala (1)
- TeX (1)
- +
Agda is a dependently typed programming language / interactive theorem prover.
Created
2015-08-08
23,325 commits to master branch, last one 23 hours ago
The Agda standard library
Created
2014-01-17
3,660 commits to master branch, last one 2 days ago
An experimental library for Cubical Agda
Created
2018-10-15
2,185 commits to master branch, last one about a month ago
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Created
2021-12-05
898 commits to main branch, last one 6 days 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 8 days 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
A curated set of links to formal methods involving provable code.
Created
2017-11-10
16 commits to master branch, last one 3 years ago
agda-mode on VS Code
Created
2020-01-25
1,404 commits to master branch, last one 2 days ago
agda-mode for neovim
Created
2022-01-26
396 commits to master branch, last one 24 days ago
Total Parser Combinators in Agda
Created
2017-03-14
95 commits to master branch, last one about a year ago
Agda formalisation of the Introduction to Homotopy Type Theory
Created
2020-07-28
545 commits to master branch, last one 3 years ago
A SuperCompiler for Martin-Löf's Type Theory
Created
2013-10-15
527 commits to master branch, last one 3 years ago
Language Server for Agda
Created
2017-08-18
289 commits to master branch, last one 4 months ago
A slow-paced introduction to reflection in Agda. ---Tactics!
Created
2019-05-14
14 commits to master branch, last one 2 years ago
Agda bindings to SMT-LIB2 compatible solvers.
Created
2020-08-17
168 commits to main branch, last one 2 years ago
A toolkit for enforcing logical specifications on neural networks
Created
2021-02-22
1,286 commits to dev branch, last one 2 days ago
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Created
2019-04-25
293 commits to master branch, last one 3 years ago
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Created
2017-03-31
548 commits to master branch, last one 3 years ago
A cost-aware logical framework, embedded in Agda.
Created
2021-02-25
617 commits to main branch, last one about a year ago
A Logical Relation for Martin-Löf Type Theory in Agda
Created
2016-12-01
414 commits to master branch, last one about a year ago
A work-in-progress core language for Agda, in Agda
Created
2023-01-20
292 commits to main branch, last one 9 days ago
Formal specifications of the cardano ledger
Created
2022-07-06
550 commits to master branch, last one a day ago
Source material for Certainty by Construction
Created
2022-10-13
681 commits to master branch, last one about a year ago