alpha

C++ implementation of "Hashing Modulo Alpha-Equivalence"

c64engine

a game engine for the c64

call_of_cthulhu

clang-ssa

clang with on-the-fly ssa construction

conf

vimrc and friends

cpp

cmake-based c++ tempalte project

dimpl

dependently typed imperative language

fe

A header-only C++ library for writing compiler/interpreter frontends.

googletest

Google Test

graphtool

A simple graph tool.

gtest-demo

Unit test demo using Google Test.

henk

an implementation of Henk IR for the calculus of constructions

json2odt

just a small tool I use to convert json files exported from MS Azure to odt

lam

Straight forward implementation of the lambda calculus in C++

lcexpr

leissa

let

A simple demo language that builds upon FE.

link-cut-tree

llvm-ssa

clang with on-the-fly ssa construction

metadata.albums.metal-archives.com

XBMC scraper for fetch album metadata from www.metal-archives.com

metadata.artists.metal-archives.com

XBMC scraper for get artists metadata from www.metal-archives.com

packrat

Demo language that is able to extend itself via packrat parsing

readthedocs.org

The source code that powers readthedocs.org

rise

Reimplementation of RISE in Thorin2

rodent

scientific_writing

Just some bullet points how to write a thesis or scientific paper

sphinx-base

The base Sphinx setup (recommonmark + internationalisation) for Open Data Services docs projects.

sql

Small and simple SQL parser

tholean

Thorin2 in Lean

thorin

The Higher-Order Intermediate Representation