Chobbes

org-chef

A package for making a cookbook and managing recipes with org-mode.

cofq

System F in Coq

gradelens.el

An Emacs grading tool.

QuickChick

Randomized Property-Based Testing Plugin for Coq

XMOPP

A haskell XMPP server.

icfp-captioning

Calgary_E_Vent

Development of a Calgary-based version of the MIT Emergency Ventilator

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-ll

Formalization of Linear Logic in Coq

coq-min-imports

Script to remove unnecessary module imports from Coq sourcess

coq-module-extraction-bugs

Messing around with Coq modules and breaking things.

coq-printf

Implementation of sprintf for Coq

existential-coinduction-experiments

Trying to do existential proofs with coinductive values.

flocq-quickchick

Flocq binary float generators for QuickChick

helm-projectile

Helm UI for Projectile

icfp-captioning-2023

InteractionTrees

Formalization of the Interaction Tree Datatype in Coq

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

nix-quickchick-test

Testing QuickChick under nix.

nixpkgs

Nix Packages collection

opam

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.

patch

Infrastructure for writing patches which act on other types.

PG

This repo is the new home of Proof General

plclub-web

A Hakyll [plclub] website.

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

shared-fields

a tiny library for using shared lens fields

TinyMod4Haskell

vellvm-testing-presentation

Presentation for CIS-700 about the initiative to use QuickChick on Vellvm

xmonad-contrib

Contributed modules for xmonad