Beast code in Giters

Lukas Rieger's repositories

Language:Scala100

Functional companion to Kotlin's Standard Library

Language:ShellNOASSERTION000

Language:TeX010

Language:TeX000

A tool for Boogie and SMT-LIB engineering

Language:ScalaMIT000

010

Simple json parser written in Kotlin based on parser combinators

Language:Kotlin000

Language:Java010

Language:Kotlin000

Probabilistic Logic Programming Final Project - Sampling

Language:Prolog000

Language:Kotlin000

A pure kotlin implementation of the game "The Bug is a lie" with a functional core.

Language:Kotlin010

Backend module of typhoon with a focus on immutability and stability.

Language:Kotlin010

Language:Python000

Latex one page resume based on posquit0/Awesome-CV

LPPL-1.3c000

Language:Kotlin000

Language:Kotlin000