Pinned Repositories
arrow
Functional companion to Kotlin's Standard Library
bachelor_thesis
curiosityRL
cuvee
A tool for Boogie and SMT-LIB engineering
ffp-final
json
Simple json parser written in Kotlin based on parser combinators
kompiler
parsek
parsek - A monadic parser library in the spirit of megaparsec
pathfinder
sepgen
lukasrieger's Repositories
lukasrieger/parsek
parsek - A monadic parser library in the spirit of megaparsec
lukasrieger/sepgen
lukasrieger/arrow
Functional companion to Kotlin's Standard Library
lukasrieger/bachelor_thesis
lukasrieger/curiosityRL
lukasrieger/cuvee
A tool for Boogie and SMT-LIB engineering
lukasrieger/ffp-final
lukasrieger/json
Simple json parser written in Kotlin based on parser combinators
lukasrieger/kompiler
lukasrieger/pathfinder
lukasrieger/plp-project
Probabilistic Logic Programming Final Project - Sampling
lukasrieger/struktur
lukasrieger/tbialK
A pure kotlin implementation of the game "The Bug is a lie" with a functional core.
lukasrieger/ty-backend
Backend module of typhoon with a focus on immutability and stability.
lukasrieger/prosperity2
lukasrieger/resume
Latex one page resume based on posquit0/Awesome-CV
lukasrieger/termgen
lukasrieger/tudas-app