Marmare314/lemmify
A library for typesetting mathematical theorems in typst.
A library for typesetting mathematical theorems in typst.
DDraceNetwork, a cooperative racing mod of Teeworlds
Solving some of AoC 2025
An easy to use presentation template.
Packages for Typst. Open for submissions now.
Provides utilities for modifying counters, allowing more complex numberings.
A new markup-based typesetting system that is powerful and easy to learn.
Just a random collection of things I did in lean.
Notizen zur Vorlesung Mathematische Statistik.
A brand-new language server for Typst, plus a VS Code extension
Music theory implemented in Python. Notes, intervals, scales and chords.
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.
A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.
A toolkit for developing and comparing reinforcement learning algorithms.