Stars
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
A mitmproxy-based toolkit for capturing and mocking Android/iOS network traffic, with automation scripts for cert installation and dynamic proxy control.
📚 Solutions to Introduction to Algorithms Third Edition
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.
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.
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.