22 results found Sort:

367
2.6k
other
65
Agda is a dependently typed programming language / interactive theorem prover.
Created 2015-08-08
23,193 commits to master branch, last one 13 days ago
244
601
other
29
The Agda standard library
Created 2014-01-17
3,577 commits to master branch, last one 5 hours ago
142
468
other
28
An experimental library for Cubical Agda
Created 2018-10-15
2,097 commits to master branch, last one 4 days ago
71
357
agpl-3.0
13
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Created 2021-12-05
872 commits to main branch, last one 24 hours ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created 2018-02-05
4,754 commits to master branch, last one 23 hours 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,245 commits to master branch, last one 2 months ago
24
142
bsd-3-clause
7
agda-mode for neovim
Created 2022-01-26
388 commits to master branch, last one about a month ago
11
126
gpl-3.0
4
Total Parser Combinators in Agda
Created 2017-03-14
95 commits to master branch, last one about a year ago
4
124
gpl-3.0
11
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 2 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,282 commits to dev branch, last one 22 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 2 years ago
2
60
apache-2.0
6
A cost-aware logical framework, embedded in Agda.
Created 2021-02-25
617 commits to main branch, last one 11 months ago
3
44
unlicense
6
A work-in-progress core language for Agda, in Agda
Created 2023-01-20
255 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 about a year ago
Formal specifications of the cardano ledger
Created 2022-07-06
507 commits to master branch, last one 2 hours ago