co-dan

thesis

The Coq code for my PhD thesis

SeLoC

Strong non-interference for fine-grained concurrent programs

BI-cutelim

Cut elimination for the logic of Bunched Implications (BI), and some extensions.

ocaml-wiringpi

Binding to the WiringPi library

co-dan

what am i doing here?

coq-alternative-facts

Coq for politicians

Arduino-Makefile

Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.

asl22

Web site for ASL 2022

autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

CoqPL19-paper

A paper submitted to CoqPL 2019 workshop

discotec.github.io

The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques

dmlenu

a clone of dmenu written in OCaml.

emacs-theme-gruvbox

Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.

fish-site

The website for fishshell.com

guix-packages

Guix channel

iris-project

itis

Warn about uses of "it's" in a latex file.

nmvdw.github.io

notes-on-realizability

Lecture notes on realizability

ocaml.org

Implementation of the ocaml.org website.

persephone

macOS MPD client written in Swift.

plzoo

Programming Languages Zoo

qmk-holykeebs

qmk for for the holykeebs keyboards

qmk_firmware

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

splitkb-vial-qmk

upstream: https://github.com/splitkb/vial-qmk/

SPP

technikable-zmk-config

ZMK Config for Technikable

TIC-80

My repository for TIC-80 with patches for Guile interop

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

vial-qmk

QMK fork with Vial-specific features.