LaTeX code for a paper on lean's type theory

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

Standalone module for extremely lazy Web authentication

small Linux system for the bpi-r4

Remove glyps from TTF fonts

A mitmproxy-based toolkit for capturing and mocking Android/iOS network traffic, with automation scripts for cert installation and dynamic proxy control.

collection of train plushies

A functional malfunctioning clock

📚 Solutions to Introduction to Algorithms Third Edition

Nintendo 3DS "Custom Firmware"

Simple extension to save you the click on opening "Fallen London" Wiki

Catima, a Loyalty Card & Ticket Manager for Android

LyZ is a plugin for Zotero, which is intended to make working with LyX/Zotero more pleasant.

Small collections of patches and fixes for Fallen London UI.

Principled Functional Programming in Scala

Location-oriented OST player extension for Fallen London

An Android Compose library to manipulate maps.

Android device tree for Fairphone 4

MapLibre Native - Interactive vector tile maps for iOS, Android and other platforms.

Rechner um VGN- mit Egon-Tarif zu vergleichen

ICSx⁵ is an Android app to subscribe to remote or local iCalendar files (like time tables of your school/university or event files of your sports team).

Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:

Inspired by HTMLTextView and enhanced with multiple CSS Style

Android HTML rendering library with CSS support

A Html.fromHtml like handling custom fonts

Android Library to rapidly develop attractive and insightful charts in android applications.

API für die in Deutschland verbreitete DSBmobile App für Vertretungspläne an Bildungseinrichtungen

A Dart package allowing you to crawl DSB's "Mobile API" and parse Untis's HTML.