281 Open source projects that are alternatives of or similar to MtacAR

A TACtic library for Agda

An axiom-free formalization of category theory in Coq for personal study and practical work

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

A Coq library providing tactics to deal with hypothesis

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

Reference sheet for the Coq language.

Gallina to Bedrock2 compilation toolkit

No description or website provided.

Partial Commutative Monoids

30分でわかるJavaScriptプログラマのためのモナド入門

Automatic typeclass-based abstraction over monad-like types

Constructive Interpretations of HoTT

Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.

GAPT: General Architecture for Proof Theory

Jupyter kernel for Coq

Deciding Presburger arithmetic in agda

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

A formally verified high-level synthesis tool based on CompCert and written in Coq.

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

A library of mechanised undecidability proofs in the Coq proof assistant.

Multinomials for the Mathematical Components library.

Template project for program verification in Coq

The formal proof of the Odd Order Theorem

Intermediate Memory Model (IMM) and compilation correctness proofs for it

Formalization of the polymorphic lambda calculus and its parametricity theorem

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Fast strong typed 'Either' data structure for typescript and flow

Archive for all Coq related OPAM packages organized in various repositories

🦋 Scala monads for javascript

wherein I implement several substructural logics in Agda

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

The place where PHP meets Functional Programming

agda-mode on VS Code

Minimize defensive coding. A JavaScript implementation of the Maybe monad.

🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested

Proof automation – for Agda, in Agda.

Functional Programming for EcmaScript(Javascript)

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

🔧 Fast, modern, and practical utility library for FP in TypeScript.

Type Theory in Type Theory using Cubical Agda

A rust like Result type for modern C++

Category theory applied to functional programming (undergraduate project)

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.

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

a library to write async vert.x code similar as using java syntax

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

apkg - package manager for Agda

C++ Monadologie

A monadic library to resolve object relations with the aim of avoiding the N+1 query problem.

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

Mutation analysis tool for Coq verification projects

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

A formalization of category theory in cubical Agda

Rainbow Six Siege map quick references

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

Functional Reactive Programming with Agda

A monadic web scraping library

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

An example of how to create services using tagless final