22 results found Sort:
- Filter by Primary Language:
- Agda (13)
- Haskell (4)
- HTML (1)
- ReScript (1)
- Scala (1)
- TeX (1)
- +
Agda is a dependently typed programming language / interactive theorem prover.
Created
2015-08-08
22,575 commits to master branch, last one 2 days ago
The Agda standard library
Created
2014-01-17
3,486 commits to master branch, last one 10 days ago
An experimental library for Cubical Agda
Created
2018-10-15
2,077 commits to master branch, last one 4 days ago
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Created
2021-12-05
818 commits to main branch, last one 5 days ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created
2018-02-05
4,189 commits to master branch, last one 2 days 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
A curated set of links to formal methods involving provable code.
Created
2017-11-10
16 commits to master branch, last one 2 years ago
agda-mode on VS Code
Created
2020-01-25
1,150 commits to master branch, last one 6 months ago
agda-mode for neovim
Created
2022-01-26
381 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
Agda formalisation of the Introduction to Homotopy Type Theory
Created
2020-07-28
545 commits to master branch, last one 2 years ago
Total Parser Combinators in Agda
Created
2017-03-14
95 commits to master branch, last one about a year ago
Language Server for Agda
Created
2017-08-18
234 commits to master branch, last one 6 months ago
Agda bindings to SMT-LIB2 compatible solvers.
Created
2020-08-17
168 commits to main branch, last one about a year ago
A slow-paced introduction to reflection in Agda. ---Tactics!
Created
2019-05-14
14 commits to master branch, last one 2 years 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 2 years ago
A toolkit for enforcing logical specifications on neural networks
Created
2021-02-22
1,244 commits to dev branch, last one 2 days 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 2 years ago
A cost-aware logical framework, embedded in Agda.
Created
2021-02-25
617 commits to main branch, last one 3 months ago
Source material for Certainty by Construction
Created
2022-10-13
681 commits to master branch, last one 5 months ago
Formal specifications of the cardano ledger
Created
2022-07-06
379 commits to master branch, last one 4 days ago
A work-in-progress core language for Agda, in Agda
Created
2023-01-20
208 commits to main branch, last one about a month ago