Lasse Blaauwbroek's repositories
apery
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
aspcud
A solver for package problems in CUDF format
capnp-rpc
Cap'n Proto RPC implementation
capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
coq-dpdgraph
Build dependency graphs between COQ objects
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
docker-base
Parent image for Docker images of the Coq proof assistant [maintainer=@erikmd]
docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
dune
A composable build system for OCaml.
graph2tac
graph2tac converts graphs to tactics
jquery.graphviz.svg
jquery plugin to make graphviz svg charts responsive
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
lambda-globalize
Reference implementation for hashing modulo context-sensitive alpha-equivalence
ocaml-xxhash
OCaml bindings for xxHash, an extremely fast hash algorithm.
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for opam, the source package manager of OCaml.
pycapnp
Cap'n Proto serialization/RPC system - Python bindings
QuickChick
Randomized Property-Based Testing Plugin for Coq
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
smtcoq
Communication between Coq and SAT/SMT solvers