Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with agda
A curated list of projects in awesome lists tagged with agda .
https://github.com/agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
agda dependent-types programming-language proof-assistant type-theory
Last synced: 01 Oct 2024
https://github.com/agda/cubical
An experimental library for Cubical Agda
agda cubical-type-theory library
Last synced: 04 Aug 2024
https://github.com/HoTT/HoTT-Agda
Development of homotopy type theory in Agda
Last synced: 01 Aug 2024
https://github.com/egbertrijke/hott-intro
An introductory course to Homotopy Type Theory
agda book coq formalization hott mathematics univalence
Last synced: 27 Sep 2024
https://github.com/EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
agda book coq formalization hott mathematics univalence
Last synced: 01 Aug 2024
https://github.com/the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Last synced: 02 Aug 2024
https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
agda dependent-types function-extensionality homotopy-type-theory hott-uf lecture-notes martin-lof-type-theory mltt propositional-truncation type-theory univalence-axiom univalent-foundations univalent-mathematics univalent-type-theory
Last synced: 02 Aug 2024
https://github.com/martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
agda compact-type constructive-mathematics homotopy-type-theory injective-type ordinal searchable-set totally-separated-type type-theory univalent-foundations univalent-mathematics
Last synced: 04 Aug 2024
https://github.com/banacorn/agda-mode-vscode
agda-mode on VS Code
agda agda-mode reasonml vscode vscode-extension
Last synced: 02 Aug 2024
https://github.com/isovector/cornelis
agda-mode for neovim
agda neovim nvim-hs vim-textobj-user vim-which-key
Last synced: 02 Oct 2024
https://github.com/ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-LΓΆf's Type Theory
agda coq dependent-types idris programming-language supercompilation type-theory
Last synced: 27 Sep 2024
https://github.com/agda/agda-language-server
Language Server for Agda
agda agda-mode language-server-protocol
Last synced: 04 Aug 2024
https://github.com/algebraic-graphs/agda
The theory of algebraic graphs formalised in Agda
Last synced: 02 Aug 2024
https://github.com/alhassy/next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
agda canonical-structures coq emacs first-class-citizens haskell language lisp metaprogramming modules ocaml phd records typeclasses
Last synced: 27 Sep 2024
https://github.com/scott-fleischman/greek-grammar
Modeling Ancient Greek Grammar
agda ancient-greek grammar greek haskell morphology phonology
Last synced: 04 Aug 2024
https://github.com/alhassy/AgdaCheatSheet
Basics of the dependently-typed functional language Agda ^_^
agda cheatsheet emacs html pdf
Last synced: 02 Aug 2024
https://github.com/isovector/certainty-by-construction
Source material for Certainty by Construction
agda book functional-programming math
Last synced: 02 Aug 2024
https://github.com/tree-sitter/tree-sitter-agda
Agda grammar for tree-sitter
agda context-free-grammar syntax-highlighting tree-sitter
Last synced: 26 Sep 2024
https://github.com/ice1000/agda-mode
Accessing Agda's interaction mode via command line & external tactic for Agda.
Last synced: 09 Aug 2024
https://github.com/lclem/agda-kernel
An experimental Agda kernel for Jupyter
Last synced: 09 Aug 2024
https://github.com/yitzchak/dicy
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
agda biblatex haskell javascript knitr latex literate-programming pythontex reproducible-research sage typescript
Last synced: 30 Sep 2024
https://github.com/ice1k/Theorems
:globe_with_meridians: Theorems that rule this multiverse
agda formal-verification theorem theorem-proving
Last synced: 04 Aug 2024
https://github.com/pragmatwice/tnt
some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
agda coq formal-proofs number-theory
Last synced: 01 Oct 2024
https://github.com/wolverian/agda-template
A template for an Agda project with automatic GitHub Pages support
Last synced: 02 Aug 2024
https://github.com/sudonatalie/verifiedcompiler
Extending a toy compiler written in Agda... by Proving It Correct!
agda literate-programming toy-compiler verification
Last synced: 01 Oct 2024