Awesome Open Source

Programming Languages

Search results for plugin coq

24 search results found

An enhanced unification algorithm for Coq

Pumpkin Patch ⭐ 38

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

Coq plugin for monomorphization and C code generation

Aac Tactics ⭐ 29

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

Fun plugin to play with the Gallina AST.

gallina frontend for CompCert

Typingflags ⭐ 16

A Coq plugin to disable positivity check, guard check and termination check

Constructors ⭐ 15

Example Coq plugin

asdf-community meta repository

Coq Plugin Template ⭐ 13

Template of Coq Plugin using the Dune build system, and showcasing some advanced features

Coq Html Escape ⭐ 9

Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.

Coq Forcing ⭐ 8

A plugin for Coq that implements the call-by-name forcing translation

Coq Antivalence ⭐ 8

Coq plugin to generate type inequality axioms for inductive definitions

Coq plugin for printing term abstract syntax trees and their digests

Coq Label ⭐ 7

A Coq plugin for simpler proofs by reflection or OCaml certificates.

Containers ⭐ 6

Containers: a typeclass-based library of finite sets/maps

Coq Plugin Lib ⭐ 6

Library of useful utility functions for Coq plugins

A simple Vim plugin for the Coq Proof Assistant

Coqide.kak ⭐ 6

A fully-fledged CoqIDE-like experience for Kakoune

Sublime Coq Plugin ⭐ 5

Syntax highlighting and Coq interactivity for Sublime Text 3

Coq Plugin Template ⭐ 5

Template for Coq plugins

Monadification ⭐ 5

Coq plugin for monadification

Related Searches

Javascript Plugin (29,065)

Java Plugin (12,518)

Python Plugin (9,226)

Ruby Plugin (6,605)

Plugin Jquery (5,848)

Typescript Plugin (3,524)

Plugin Vim (3,370)

C Plus Plus Plugin (3,305)

Css Plugin (2,963)

Shell Plugin (2,904)

1-24 of 24 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.