dunnl

developer-roadmap

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

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

expand-region.el

Emacs extension to increase selected region by semantic units.

jscoq

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

DontFearTheProfunctorOptics

Don't Fear the Profunctor Optics!

ott

The Ott tool for writing definitions of programming languages and calculi

visual-fill-column

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

skylighting

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

GeoCoq

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

synology-diskstation-scripts

Update Synology DNS records from DHCP IP address reservation

hierarchy-builder

High level commands to declare a hierarchy based on packed classes

coq-dpdgraph

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

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.

metalib

The Penn Locally Nameless Metatheory Library

emacs-the-adhd-way

Learn Emacs the ADHD way.

cybersymposium

Mike Lindell's cybersymposium files

relation-algebra

Relation algebra library for Coq

coqdocjs

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

strong-normalization

Formalizations of strong normalization proofs

phd-thesis

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

hakyll-css

Drop-in CSS themes for syntax highlighting in Hakyll

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]

coq-plugin-lib

Library of useful utility functions for Coq plugins

ite-normalisation

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

type-systems-seminar

Notes for winter 2018 PL seminar

personal-website

Personal website

unexpected_hanging

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.