Pinned Repositories
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
fakusb's Repositories
fakusb/coq-bigO
not my work, but a fork of https://gitlab.inria.fr/agueneau/coq-bigO/
fakusb/coq-library-undecidability
A library of formalised undecidable problems in Coq
fakusb/deckbox-scryfall-prices
Greasemonkey script to see Magic: the gathering card prices fetched via scryfall, e.g. cardmarket, on deckbox.org
fakusb/aac-tactics
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
fakusb/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.
fakusb/coq-procrastination
A small Coq library for collecting side conditions and deferring their proof
fakusb/coqdocjs
fakusb/embassy
Modern embedded framework, using Rust and async.
fakusb/epd-waveshare
Drivers for various EPDs from Waveshare
fakusb/FiVES-Nao-Visualisation
fakusb/JProver
Inofficial clone of JProver-tactic for Coq.
fakusb/metacoq
Reflection library for Coq
fakusb/mech-bun
A automatic solver for Paquerette Down the Bunburrows
fakusb/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.
fakusb/ocaml.org
Implementation of the ocaml.org website.
fakusb/odoaker
fakusb/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
fakusb/Overmind
AI for Screeps, a multiplayer programming strategy game
fakusb/rp-pac
fakusb/Screeps-Typescript-Declarations
The repository for *Screeps's* TypeScript type definitions.
fakusb/smpl
A Coq plugin providing an extensible tactic similar to first.
fakusb/splitwise-rs
Splitwise SDK for Rust
fakusb/splitwise-to-ynab
Personal importer of Splitwise transactions to YNAB
fakusb/vscoq
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
fakusb/WSL-DistroLauncher-ArchLinux
Sample/reference launcher app for WSL distro Microsoft Store packages.
fakusb/ynab-api