fakusb Goto Github PK

aac-tactics

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-bigo

not my work, but a fork of https://gitlab.inria.fr/agueneau/coq-bigO/

coq-library-undecidability

A library of formalised undecidable problems in Coq

coq-procrastination

A small Coq library for collecting side conditions and deferring their proof

coqdocjs

deckbox-scryfall-prices

Greasemonkey script to see Magic: the gathering card prices fetched via scryfall, e.g. cardmarket, on deckbox.org

embassy

Modern embedded framework, using Rust and async.

epd-waveshare

Drivers for various EPDs from Waveshare

fives-nao-visualisation

jprover

Inofficial clone of JProver-tactic for Coq.

mech-bun

A automatic solver for Paquerette Down the Bunburrows

metacoq

Reflection library for Coq

nary-demo

Demo of the definitions and tactics to convert between curried and uncurried functions. The concepts are taken from the coq-bigO library by Armaël Guéneau.

ocaml.org

Implementation of the ocaml.org website.

odoaker

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

overmind

AI for Screeps, a multiplayer programming strategy game

rp-pac

screeps-typescript-declarations

The repository for *Screeps's* TypeScript type definitions.

smpl

A Coq plugin providing an extensible tactic similar to first.

splitwise-rs

Splitwise SDK for Rust

splitwise-to-ynab

Personal importer of Splitwise transactions to YNAB

vscoq

A Visual Studio Code extension for Coq [maintainer=@maximedenes]

wsl-distrolauncher-archlinux

Sample/reference launcher app for WSL distro Microsoft Store packages.

ynab-api