Lukas Rieger (lukasrieger)

lukasrieger

Geek Repo

Location:Deutschland, Bayern, München

Github PK Tool:Github PK Tool

Lukas Rieger's repositories

Language:ScalaStargazers:1Issues:0Issues:0

arrow

Functional companion to Kotlin's Standard Library

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:0Issues:0

cuvee

A tool for Boogie and SMT-LIB engineering

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

json

Simple json parser written in Kotlin based on parser combinators

Language:KotlinStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0

plp-project

Probabilistic Logic Programming Final Project - Sampling

Language:PrologStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0

tbialK

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

Language:KotlinStargazers:0Issues:1Issues:0

ty-backend

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

Language:KotlinStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

resume

Latex one page resume based on posquit0/Awesome-CV

License:LPPL-1.3cStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0