Easy insertion of unicode math symbols

Tetris game in Typst

A blueprint for a formalization of infinity-cosmos theory in Lean.

An Android application to easily track and manage your Life4DDR progression.

A GUI for tagging and managing document metadata for books, textbooks, or articles.

Scalable PaaS (automated Docker+nginx) - aka Heroku on Steroids

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

Metlo is an open-source API security platform.

ACM Website

HoTTEST Summer School materials

PP and star calculation for all osu! gamemodes

Discord bot for osu!

A music streaming app for Subsonic-compatible servers

EsoLangVM Compiler Infrastructure

Send push notifications to your phone or desktop using PUT/POST

Word-guessing game

A chart generation system for osu!Taiko.

A cross-platform GUI library for Rust, inspired by Elm

The Elegant Parser

thingy to manage bn requests

A modern syntax for the λ-calculus.

osu on haskell

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

osu! playlists web app

A browser extension for creating personal URL shortcuts. Available on Chrome and Firefox.

A Rust library for PDF document manipulation.

The official client for seashells.io 🐚

My dotfiles, managed with https://chezmoi.io.

Collection of tools for manipulating osu! beatmaps