Stars
14
Forks
0
Language
Agda
Last Updated
Dec 25, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
OCaml | 7 | Formal semantics of OCaml | Mar 28, 2017 | |
Coq | 2 | Formal semantics for LIO | Apr 15, 2019 | |
P4 | 67 | Petr4: Formal Semantics for P4 | Apr 14, 2023 | |
Agda | 16 | A categorical semantics library in Agda. | Sep 14, 2022 | |
Shell | 6 | Formal semantics of the yul language | May 16, 2022 | |
Haskell | 15 | Formal semantics of Haskell in K | Jul 04, 2021 | |
None | 2 | fspl: Formal Semantics of Programming Languages | Nov 14, 2020 | |
Jupyter Notebook | 18 | Lambda Notebook: Formal Semantics in Jupyter | May 31, 2023 | |
Agda | 5 | Formal model of Bitcoin transactions in Agda | Jan 11, 2023 | |
LLVM | 42 | Formal semantics of LLVM IR in K | Aug 27, 2021 | |
Agda | 5 | Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories | Oct 11, 2022 | |
WebAssembly | 62 | A Prototype Formal Semantics of WebAssembly in K | Aug 09, 2022 | |
Brainfuck | 9 | Formal semantics of the Brainfuck language in K | Apr 05, 2023 | |
Verilog | 3 | An attempt at a formal specification for Bitcoin, including formal semantics for Bitcoin scripts. | Aug 22, 2016 | |
Agda | 6 | Formal verification of time complexity of some algorithms in Agda | Oct 30, 2017 | |
Agda | 3 | Semantics of counterpart-based quantified (linear) temporal logics in Agda | Mar 27, 2023 | |
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 |