Pinned Repositories
MimIR
MimIR is my Intermediate Representation
c64engine
a game engine for the c64
clang-ssa
clang with on-the-fly ssa construction
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
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/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/vim-acme
syntax-highlighting for the acme 6502-family assembler
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/json2odt
just a small tool I use to convert json files exported from MS Azure to odt
leissa/LazyVim
Neovim config for the lazy
leissa/lcexpr
leissa/leissa
leissa/link-cut-tree
leissa/mll-docker
Docker environment for MLL, the Machine Learning Language
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/yabause
Yabause is a Sega Saturn emulator.