Pinned Repositories
AsyncSim
A Java simulator for distributed systems in an asynchronous model.
HP-HG2011
A Homepage project of the school "Humboldt Gymnasium" in Bad Pyrmont, Germany. Created by a course of grade 12, year 2011.
HP-HG2011_page
JIAL
A compiler and static termination analysis for the Java input-action language developed in my Master's thesis.
LinCal
An Android app to show notifications with custom links or messages, scheduled by a simple text file. Use it as Advent calendar or just to make someone happy.
LinearFileParser
A simple line-based parser for text files with a custom format.
SimpleReminder
Efficient creation of simple reminders on Android.
TypesafeKtorAPI
Kotlin Multiplatform library for shared type-safe HTTP APIs with Ktor
Troupe
Troupe programming language
CopaServer
CoPA (Change of plan application) is a notification system for schedule changes.
felixwiemuth's Repositories
felixwiemuth/SimpleReminder
Efficient creation of simple reminders on Android.
felixwiemuth/LinCal
An Android app to show notifications with custom links or messages, scheduled by a simple text file. Use it as Advent calendar or just to make someone happy.
felixwiemuth/JIAL
A compiler and static termination analysis for the Java input-action language developed in my Master's thesis.
felixwiemuth/AsyncSim
A Java simulator for distributed systems in an asynchronous model.
felixwiemuth/flix
The Flix Programming Language
felixwiemuth/TypesafeKtorAPI
Kotlin Multiplatform library for shared type-safe HTTP APIs with Ktor
felixwiemuth/android
📱 Nextcloud Android app
felixwiemuth/aneris
Program logic for developing and verifying distributed systems
felixwiemuth/cordova-docs
Apache Cordova docs
felixwiemuth/cpudefense
A tower defense game for Android based on a microprocessor theme
felixwiemuth/css-only-chat
A truly monstrous async web chat using no JS whatsoever on the frontend
felixwiemuth/cyclops-react
An advanced, but easy to use, platform for writing functional applications in Java 8
felixwiemuth/dpc
Distributed Protocol Combinators
felixwiemuth/florisboard
An open-source keyboard for Android which respects your privacy. Currently in early-beta.
felixwiemuth/haskell-wasm
Haskell WebAssembly Toolkit
felixwiemuth/kotlin
The Kotlin Programming Language.
felixwiemuth/kotlin-web-site
The Kotlin programming language website
felixwiemuth/multiplatform-library-template
felixwiemuth/ocaml2lang
Compiler from OCaml to AnerisLang
felixwiemuth/pikaur
AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.
felixwiemuth/platform_frameworks_base
felixwiemuth/programming-flix
A tutorial for programming in Flix
felixwiemuth/Scoop
[ADB/Root] Catches a stack trace when an app crashes unexpectedly.
felixwiemuth/SectionedRecyclerViewAdapter
An Adapter that allows a RecyclerView to be split into Sections with headers and/or footers. Each Section can have its state controlled individually. This fork incorporates the feature of multiple item view types.
felixwiemuth/ShopTool
A tool to generate shop lists and shop events for SimpleServer.
felixwiemuth/syncthing-resolve-conflicts
A small bash script that handles synchronization conflicts with Syncthing. Inspired by 'pacdiff' from Arch Linux.
felixwiemuth/Troupe
Troupe programming language
felixwiemuth/uhabits
Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits
felixwiemuth/wiwinwlh
What I Wish I Knew When Learning Haskell
felixwiemuth/wpm
Typeracer-like console app for measuring your WPM