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

mll-docker

Docker environment for MLL, the Machine Learning Language

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