ice1000 / agda-mode
Licence: Apache-2.0 license
Accessing Agda's interaction mode via command line & external tactic for Agda.
Projects that are alternatives of or similar to agda-mode
agda-from-nothingA workshop on learning Agda with minimal prerequisites.
Stars: ✭ 74 (+184.62%)
Mutual labels: agda
dicyA builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
Stars: ✭ 22 (-15.38%)
Mutual labels: agda
cubical-1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Stars: ✭ 93 (+257.69%)
Mutual labels: agda
language-agdaAgda language support for the Atom editor
Stars: ✭ 13 (-50%)
Mutual labels: agda
ConsHoTTConstructive Interpretations of HoTT
Stars: ✭ 33 (+26.92%)
Mutual labels: agda
TypeTopologyLogical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Stars: ✭ 132 (+407.69%)
Mutual labels: agda
agdaThe theory of algebraic graphs formalised in Agda
Stars: ✭ 67 (+157.69%)
Mutual labels: agda
cubical-categoriesCategory theory formalized in cubical agda
Stars: ✭ 20 (-23.08%)
Mutual labels: agda
cainCategory theory applied to functional programming (undergraduate project)
Stars: ✭ 27 (+3.85%)
Mutual labels: agda
msla2014wherein I implement several substructural logics in Agda
Stars: ✭ 24 (-7.69%)
Mutual labels: agda
universe-of-syntaxA universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
Stars: ✭ 16 (-38.46%)
Mutual labels: agda
org-agda-modeAn Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Stars: ✭ 14 (-46.15%)
Mutual labels: agda
AgdaAgda is a dependently typed programming language / interactive theorem prover.
Stars: ✭ 1,699 (+6434.62%)
Mutual labels: agda
catA formalization of category theory in cubical Agda
Stars: ✭ 50 (+92.31%)
Mutual labels: agda
frp agdaFunctional Reactive Programming with Agda
Stars: ✭ 22 (-15.38%)
Mutual labels: agda
agda-fragmentAlgebraic proof discovery in Agda
Stars: ✭ 28 (+7.69%)
Mutual labels: agda
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at
[email protected].