Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Agda Open Source Projects

Open source projects categorized as Agda
Categories > Agda
Bi71 ⭐ 24
being a bidirectional reformulation of Martin-Löf's 1971 type theory
most recent commit 7 years ago
Polynomial Model ⭐ 24
A polynomial model of a Martin-Löf type theory + a bit of game semantics
most recent commit 3 years ago
Agda Algebras ⭐ 24
The Agda Universal Algebra Library (html docs available at the url below)
most recent commit 9 months ago
Agda Routing ⭐ 24
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
most recent commit 6 months ago
Agda Metric Reals ⭐ 24
most recent commit 2 years ago
Msla2014 ⭐ 24
wherein I implement several substructural logics in Agda
most recent commit 6 years ago
Homotopy ⭐ 24
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
most recent commit 10 years ago
Reflection Proofs ⭐ 24
Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.
most recent commit 10 years ago
Ttie ⭐ 24
Type Theory with Indexed Equality
most recent commit 7 years ago
Stlc ⭐ 23
This aims to be the most pretentious implementation of stlc in existence
most recent commit 2 years ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Agda Bcam ⭐ 23
Tutorial series introducing Agda to the people at BCAM
most recent commit 3 years ago
Popl19 Tutorial ⭐ 23
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
most recent commit 5 years ago
Gen Cart ⭐ 23
A Unifying Cartesian Cubical Set Model
most recent commit 5 years ago
Agda System Io ⭐ 23
Bindings to Haskell's IO monad which respect Agda's semantics
most recent commit 6 years ago
Initiality ⭐ 23
A formalized proof of a version of the initiality conjecture
most recent commit 4 years ago
Ctlc ⭐ 23
(λ) Category theory and lambda calculus, Bachelor's thesis
most recent commit 6 years ago
Formal Logic ⭐ 22
TODO
most recent commit 9 years ago
Relative Monads ⭐ 22
Relative Monad Library for Agda
most recent commit 5 years ago
Generic ⭐ 22
A library for doing generic programming in Agda
most recent commit 3 years ago
Lob ⭐ 22
Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%
most recent commit a year ago
Formal Ledger Specifications ⭐ 22
Formal specifications of the cardano ledger
most recent commit 6 months ago
Haltingproblem ⭐ 22
The proof of undecidability of halting problem, using the model -- WHILE language.
most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.