Discover @kollerlukas Open Source projects

Lukas Koller (@kollerlukas)

kollerlukas

Stars
577
Global Rank 50,944 (Top 2 %)
Followers 47
Registered almost 9 years ago
Most used languages

Kotlin
23.1 %

Java
23.1 %

Dart
15.4 %

HTML
7.7 %

Python
7.7 %

Jupyter Notebook
7.7 %

JavaScript
7.7 %

Isabelle 7.7 %
Location 🇩🇪 Germany
Country Total Rank 2,680
Country Ranking

Isabelle 17

Dart
178

Java
223

Kotlin
559

HTML
4,107

Jupyter Notebook
5,400

Python
8,338

Camera-Roll-Android-App

Simple Galley App for Android, with lovely Material Design.

flutter_unsplash

Simple Unsplash (https://unsplash.com/) Client in Flutter

TODOList-Android-App

Simple Android app for task management.

CalendarWidget

Simple Android Calendar Widget for your homescreen

safe-explorer

PyTorch implementation of "Safe Exploration in Continuous Action Spaces" (Dalal et al., 2018)

kollerlukas.github.io

flortune_cookie

Flutter App that gives you free fortune cookies. My submission for Flutter Create (https://flutter.dev/create).

SpotMix

NasaMuzei

Simple Muzei Source providing the Astronomy Picture of the Day by NASA

shplst

Simple Shopping list mobile Web Application with Google Firebase integration.

Seminar-Automated-Reasoning

Jupyter Notebook

Android-SpotifyUtil

Simple Android App that lets you reorder tracks with your Spotify playlists.

knights_tour

Isabelle/HOL Formalization of "Knight's Tour Revisited" by Cull and De Curtins (1978)