My personal website

GnuCash Double-Entry Accounting Program.

EeZee Language - Compiler Engineering Basics

A comparative, extendable benchmarking suite for C and C++ hash-table libraries.

Basic HashMap (Hash Table) Implementation in C++

A Simple showcase for the Sea-of-Nodes compiler IR

JDK main-line development https://openjdk.org/projects/jdk

Slides and other materials from CppCon 2017

Agda is a dependently typed programming language / interactive theorem prover.

Let's Graphviz it online

🐪 The Perl programming language

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 develo…

Animation engine for explanatory math videos

An introduction to programming language theory in Agda

Agda lecture notes for the Functional Programming course at TU Delft

Ecstasy and XVM

A C++11 library for parsing the binary data of files and whatnot both easily and cleanly.

Programming Language Theory λΠ

A collection of C++ tools developed by myself over time.

Compiler

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

A categorized list of C++ resources.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

A language for building concurrent software with confidence

A dynamically-resizable vector with fixed capacity and embedded storage (P0843)

Organization, documentation, etc. for the Beman Project

The compiler is available for download. Get it!

Creating a simpler, more intuitive means of C++ reflection

GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org