dunnl

GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

coq-plugin-lib

Library of useful utility functions for Coq plugins

cybersymposium

Mike Lindell's cybersymposium files

hakyll-css

Drop-in CSS themes for syntax highlighting in Hakyll

expand-region.el

Emacs extension to increase selected region by semantic units.

unexpected_hanging

synology-diskstation-scripts

Update Synology DNS records from DHCP IP address reservation

phd-thesis

Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

ott

The Ott tool for writing definitions of programming languages and calculi

ite-normalisation

L. Paulson's If-Then-Else normalisation algorithm in Coq via simulated Induction-Recursion

Synology-GitLab-Setup

This tutorial explains how to install a complete GitLab environment, including GitLab Runner and GitLab Container Registry, with the Synology DiskStation Manager (DSM).

d3-hypertree

HTML5 SVG Hyperbolic Tree Implementation.

strong-normalization

Formalizations of strong normalization proofs

personal-website

Personal website

skylighting

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

system

Library of Unix effects for Coq.

coq-plugin-template

Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]

emacs-the-adhd-way

Learn Emacs the ADHD way.

coqdocjs

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

visual-fill-column

Emacs mode for wrapping visual-line-mode buffers at fill-column.

org-html-themes

Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics!

hierarchy-builder

High level commands to declare a hierarchy based on packed classes

type-systems-seminar

Notes for winter 2018 PL seminar

coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

iron-lambda

My copy of (possibly modified portions of) Iron Lambda by Ben Lippmeier with the explicit aim of making it easier to step through the proofs interactively using CoqIDE.

metalib

The Penn Locally Nameless Metatheory Library

relation-algebra

Relation algebra library for Coq

developer-roadmap

Interactive roadmaps, guides and other educational content to help developers grow in their careers.