33 Open source projects that are alternatives of or similar to ataca

A slow-paced introduction to reflection in Agda. ---Tactics!

Mtac in Agda

Prototipo inicial de un juego tactico. Este proyecto solo alberga unos pocos assets con licencia free y el core de un sistema de combate tactico por turnos.

Accessing Agda's interaction mode via command line & external tactic for Agda.

A formalization of category theory in cubical Agda

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Functional Reactive Programming with Agda

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Univalent mathematics in Agda

Category theory formalized in cubical agda

Algebraic proof discovery in Agda

Language Server for Agda

Reference sheet for the Coq language.

Generate chess puzzles / tactics from a pgn file

Agda language support for the Atom editor

A Coq library providing tactics to deal with hypothesis

Rainbow Six Siege map quick references

Idris tactics for (commutative) monoids

GAPT: General Architecture for Proof Theory

Agda is a dependently typed programming language / interactive theorem prover.

A workshop on learning Agda with minimal prerequisites.

The theory of algebraic graphs formalised in Agda

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Category theory applied to functional programming (undergraduate project)

A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

wherein I implement several substructural logics in Agda

agda-mode on VS Code

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Constructive Interpretations of HoTT

apkg - package manager for Agda

Deciding Presburger arithmetic in agda

Proof automation – for Agda, in Agda.

Type Theory in Type Theory using Cubical Agda