Design discussions about the OCaml language

Recent Fuzzing Paper

experimental linter/analyzer for Makefiles

Some experiments with SMT solvers and GIMPLE IR

Unofficial mirror of mob development branch

An overlay for the OCaml Z3 binding.

A collection of useful .gitignore templates

Public Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

A textbook on informal homotopy type theory

Automatic verification of LLVM optimizations

Interactive Coq Proofs in Vim

GNOME shell extension to arrange workspaces in a two-dimensional grid with workspace thumbnails

A SuperCompiler for Martin-Löf's Type Theory

Git commit without leaking timezone information

A study of undefined behavior on various platforms, compilers, and tools

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…

Metaprogramming, verified meta-theory and implementation of Coq in Coq

Tool for converting markdown files into anki decks

An introduction to programming language theory in Agda

All higher inductive types can be obtained from three simple HITs.

Pyzotero: a Python client for the Zotero API

Command-line interface for Zotero

Vim plugin for TidalCycles

C++ standards drafts

An implementation of the Language Server Protocol for LaTeX

🌺 Minimalist Vim Plugin Manager

async language server protocol plugin for vim and neovim

Enhanced LaTeX support for Vim