Highlights
- Pro
Stars
RedNotebook is a cross-platform journal
Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
Example Docker Compose setup for hosting Plausible Community Edition
Everyday-use client-side map-aware mirror ranking tool (Arch Linux; Manjaro; custom ones)
Coauthor supercollaboration/discussion forum
Lean 4 programming language and theorem prover
Cournal is a collaborative note taking and journal application using a stylus.
Capstone Project - CS467 - Spring 2019 - Navi - Oregon State University
LaTeX template for University of Michigan Thesis
I am working on an original algorithm which would tell whether or not two graphs have an isomorphism.
A port of the Android Compatibility package which makes FragmentActivity extend MapActivity. This is a hack to make it possible to use a MapView in a Fragment.