Pinned Repositories
thorin2
The Higher ORder INtermediate representation - next gen
c64engine
a game engine for the c64
dimpl
dependently typed imperative language
fe
A header-only C++ library for writing compiler/interpreter frontends.
lam
Straight forward implementation of the lambda calculus in C++
let
A simple demo language that builds upon FE.
llvm-ssa
clang with on-the-fly ssa construction
scientific_writing
Just some bullet points how to write a thesis or scientific paper
vim-acme
syntax-highlighting for the acme 6502-family assembler
whilec
An interpreter/compiler for a toy language called While. The implementation is in Python.
leissa's Repositories
leissa/c64engine
a game engine for the c64
leissa/vim-acme
syntax-highlighting for the acme 6502-family assembler
leissa/whilec
An interpreter/compiler for a toy language called While. The implementation is in Python.
leissa/fe
A header-only C++ library for writing compiler/interpreter frontends.
leissa/let
A simple demo language that builds upon FE.
leissa/dimpl
dependently typed imperative language
leissa/lam
Straight forward implementation of the lambda calculus in C++
leissa/conf
vimrc and friends
leissa/scientific_writing
Just some bullet points how to write a thesis or scientific paper
leissa/sql
Small and simple SQL parser
leissa/alpha
C++ implementation of "Hashing Modulo Alpha-Equivalence"
leissa/call_of_cthulhu
leissa/cpp
cmake-based c++ tempalte project
leissa/googletest
Google Test
leissa/graphtool
A simple graph tool.
leissa/gtest-demo
Unit test demo using Google Test.
leissa/json2odt
just a small tool I use to convert json files exported from MS Azure to odt
leissa/lcexpr
leissa/leissa
leissa/link-cut-tree
leissa/packrat
Demo language that is able to extend itself via packrat parsing
leissa/readthedocs.org
The source code that powers readthedocs.org
leissa/rise
Reimplementation of RISE in Thorin2
leissa/rodent
leissa/sphinx-base
The base Sphinx setup (recommonmark + internationalisation) for Open Data Services docs projects.
leissa/tholean
Thorin2 in Lean
leissa/thorin
The Higher-Order Intermediate Representation
leissa/thorin2
The Higher ORder INtermediate representation - next gen
leissa/travis-matrix-badges
A small utility to produce a build status image for travis matrix jobs
leissa/yabause
Yabause is a Sega Saturn emulator.