Felix Wiemuth (felixwiemuth)

felixwiemuth

Geek Repo

Github PK Tool:Github PK Tool


Organizations
AWSoft
SimpleServer

Felix Wiemuth's repositories

SimpleReminder

Efficient creation of simple reminders on Android.

Language:KotlinLicense:NOASSERTIONStargazers:49Issues:4Issues:36

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.

Language:JavaLicense:NOASSERTIONStargazers:7Issues:3Issues:9

JIAL

A compiler and static termination analysis for the Java input-action language developed in my Master's thesis.

Language:HaskellStargazers:1Issues:3Issues:0

LinearFileParser

A simple line-based parser for text files with a custom format.

Language:JavaLicense:GPL-3.0Stargazers:1Issues:0Issues:0

AsyncSim

A Java simulator for distributed systems in an asynchronous model.

Language:JavaLicense:GPL-3.0Stargazers:0Issues:4Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

android

📱 Nextcloud Android app

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

aneris

Program logic for developing and verifying distributed systems

Language:CoqLicense:MITStargazers:0Issues:1Issues:0

cordova-docs

Apache Cordova docs

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cpudefense

A tower defense game for Android based on a microprocessor theme

License:MITStargazers:0Issues:0Issues:0

css-only-chat

A truly monstrous async web chat using no JS whatsoever on the frontend

Language:RubyLicense:MITStargazers:0Issues:1Issues:0

cyclops-react

An advanced, but easy to use, platform for writing functional applications in Java 8

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

dpc

Distributed Protocol Combinators

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

florisboard

An open-source keyboard for Android which respects your privacy. Currently in early-beta.

License:Apache-2.0Stargazers:0Issues:0Issues:0

GitBestPractices

Commit Often, Perfect Later, Publish Once: Git Best Practices

Stargazers:0Issues:0Issues:0

haskell-wasm

Haskell WebAssembly Toolkit

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

kotlin

The Kotlin Programming Language.

Stargazers:0Issues:0Issues:0

kotlin-web-site

The Kotlin programming language website

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ocaml2lang

Compiler from OCaml to AnerisLang

Stargazers:0Issues:0Issues:0

pikaur

AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

programming-flix

A tutorial for programming in Flix

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Scoop

[ADB/Root] Catches a stack trace when an app crashes unexpectedly.

License:Apache-2.0Stargazers:0Issues:0Issues:0

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.

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

ShopTool

A tool to generate shop lists and shop events for SimpleServer.

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

syncthing-resolve-conflicts

A small bash script that handles synchronization conflicts with Syncthing. Inspired by 'pacdiff' from Arch Linux.

Language:ShellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

Troupe

Troupe programming language

Language:TypeScriptStargazers:0Issues:1Issues:0

uhabits

Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits

Language:KotlinLicense:GPL-3.0Stargazers:0Issues:1Issues:0

wiwinwlh

What I Wish I Knew When Learning Haskell

License:NOASSERTIONStargazers:0Issues:0Issues:0

wpm

Typeracer-like console app for measuring your WPM

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0