Roland Leißa's repositories
scientific_writing
Just some bullet points how to write a thesis or scientific paper
googletest
Google Test
gtest-demo
Unit test demo using Google Test.
mll-docker
Docker environment for MLL, the Machine Learning Language
Language:Java000
packrat
Demo language that is able to extend itself via packrat parsing
Language:C++MIT000
readthedocs.org
The source code that powers readthedocs.org
sphinx-base
The base Sphinx setup (recommonmark + internationalisation) for Open Data Services docs projects.
tholean
Thorin2 in Lean
Language:LeanMIT000