Formalization of Mathematics using Type Theory of Agda Programming Language
☆11Jan 3, 2018Updated 8 years ago
Alternatives and similar repositories for Math
Users that are interested in Math are comparing it to the libraries listed below
Sorting:
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 2 years ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated 10 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Engine development: OpenWebGlobe for stand alone applications (C++)☆21Jul 19, 2011Updated 14 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 5 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 9 years ago
- ☆12May 22, 2016Updated 9 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 3 years ago
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- ☆12Jan 25, 2022Updated 4 years ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 3 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 4 months ago
- Implementation of CORE in cpp☆12Feb 23, 2026Updated last week
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- ☆10May 21, 2021Updated 4 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago
- Blog post code☆14Dec 23, 2017Updated 8 years ago
- The Cardano Explorer makes it easy for regulators, policymakers and regulated entities to navigate the Cardano blockchain without having …☆12Nov 26, 2024Updated last year
- A Python client for interacting with Minswap DEX on Cardano☆12Dec 1, 2024Updated last year
- JSON helpers for vimscript☆11Apr 14, 2016Updated 9 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago