Stars
15
Forks
0
Language
Agda
Last Updated
Dec 29, 2023
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Coq | 5 | A formalization of synthetic differential geometry in Coq using infinitesimal analysis | Dec 27, 2021 | |
| None | 7 | Synthetic geometry. Probably mostly algebraic geometry. | Jul 28, 2022 | |
| Julia | 12 | Functional differential geometry in Julia | Feb 26, 2023 | |
| Scheme | 21 | Executable version of Functional Differential Geometry. | Oct 18, 2022 | |
| Python | 3 | A Python package for differential geometry | Mar 11, 2022 | |
| Julia | 23 | Discrete differential geometry on simplicial complexes | Oct 19, 2022 | |
| Python | 2 | Fast automatic differential geometry with JAX | Feb 09, 2024 | |
| Python | 82 | OpenGL Antigrain Geometry experiments | Jun 29, 2022 | |
| Objective-C | 2 | Experiments in projection geometry. | Oct 30, 2017 | |
| Jupyter Notebook | 2 | Synthetic data generation pipeline with differential privacy | Feb 22, 2024 | |
| 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 |