Stars
7
Forks
1
Language
Agda
Last Updated
Aug 31, 2023
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Agda | 4 | A statically typed dimensional analysis calculator written in Agda. | Apr 12, 2020 | |
| Agda | 4 | Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of … | Aug 03, 2022 | |
| Agda | 4 | None | Aug 02, 2019 | |
| Agda | 4 | Agda proofs of the HoTT book exercises | Dec 27, 2018 | |
| Agda | 4 | None | Oct 15, 2020 | |
| Agda | 4 | A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation | Apr 01, 2021 | |
| Agda | 4 | None | Jan 15, 2022 | |
| Agda | 4 | mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper | Dec 19, 2021 | |
| Agda | 5 | An Agda proof of the fact that the smash product is a 1-coherent monoidal product … | Oct 09, 2018 | |
| Agda | 5 | Sheaves in Agda (will be superseded by https://github.com/jonsterling/constructive-sheaf-semantics which has sheaves on a site) | May 08, 2015 | |
| Agda | 5 | Agda library for verifying neural networks. | Jul 09, 2022 | |
| Agda | 5 | Agda bindings for low-level datatypes such as raw naturals and bytestrings | Oct 24, 2019 | |
| Agda | 5 | None | Dec 03, 2021 | |
| Agda | 5 | Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library. | Aug 11, 2014 | |
| Agda | 6 | Formalization of the James construction in Agda | Nov 16, 2018 | |
| Agda | 6 | None | Jun 10, 2019 | |
| Agda | 6 | An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions | May 22, 2021 | |
| Agda | 6 | None | Aug 01, 2022 | |
| Agda | 6 | An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in … | May 05, 2022 | |
| Agda | 6 | Categories parametrized by morphism equality, in Agda | Mar 20, 2019 | |
| Agda | 7 | An Agda library for turning equations into bijections using the translation method | Nov 10, 2020 | |
| Agda | 7 | Abstract binding trees in Agda | Jan 17, 2022 | |
| Agda | 7 | some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson | Sep 02, 2021 | |
| Agda | 7 | Implementation of McBride's "First-order unification by structural recursion" in Agda. | Jul 06, 2020 | |
| Agda | 8 | Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany | Apr 18, 2020 | |
| Agda | 8 | Agda sources used in my paper with Valeria de Paiva | Apr 27, 2022 | |
| Agda | 8 | None | Apr 13, 2022 | |
| Agda | 8 | Examples of categorical structures | Mar 19, 2021 | |
| Agda | 9 | some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills | Feb 10, 2019 | |
| Agda | 9 | None | Aug 11, 2022 | |
| Agda | 9 | Library for proving propositions quantified over finite sets | Jan 05, 2022 | |
| Agda | 10 | Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT. | May 19, 2022 | |
| Agda | 10 | agda blogging based on 1lab | Jul 12, 2022 | |
| Agda | 10 | Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. … | Jul 03, 2022 | |
| Agda | 11 | Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus) | Dec 14, 2021 | |
| Agda | 11 | Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from … | Jun 16, 2021 | |
| Agda | 11 | None | Jul 17, 2022 | |
| Agda | 12 | A Library for Classical Propositional Logic in Agda | Jan 18, 2022 | |
| Agda | 12 | My Agda experiments | Mar 16, 2022 | |
| Agda | 13 | I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies. | Aug 10, 2018 | |
| Agda | 13 | Denotational semantics based on graph and filter models | Jul 17, 2022 | |
| Agda | 14 | An abstract machine using indexed containers and their zippers | Sep 02, 2021 | |
| Agda | 273 | A new Categories library for Agda | Aug 11, 2022 | |
| Agda | 319 | An experimental library for Cubical Agda | Aug 19, 2022 | |
| Agda | 459 | The Agda standard library | Aug 11, 2022 | |
| Agda | 1139 | An introduction to programming language theory in Agda | Aug 29, 2022 | |
| Agda | 2 | Denotational Zero Knowledge Proofs | May 12, 2022 | |
| Agda | 13 | Formalization of category theory in Agda | Oct 18, 2022 | |
| Agda | 4 | A write-up of https://github.com/JasonGross/lob | Mar 17, 2021 | |
| Agda | 2 | None | Apr 03, 2023 |