Javascript module to visualize crosswords

A community-maintained Python framework for creating mathematical animations.

The "batteries included" extended library for the Lean programming language and theorem prover

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 fr…

A fork of NewPipe with SponsorBlock functionality.

JetBrains Mono – the free and open-source typeface for developers

Lean 4 programming language and theorem prover

⭐ Vim for Visual Studio Code

💧 Liquid Tensor Experiment

GnuCash Double-Entry Accounting Program.

COVID19 Android app

Human-useable game notation for the board game Hive

Digital version of the board game "Hive" from gen42

SDL2 bindings for Rust

🐀 A link aggregator and forum for the fediverse

A glossy Matrix collaboration client for the web.

Summer leaning

A random cipher I came up with

A random cipher someone else came up with

A personal Anki sync server (so you can sync against your own server rather than AnkiWeb)

The automation tower defense RTS

Self-hosted Anki sync server

Your self-hosted, globally interconnected microblogging community

A Qt-based IM client for Matrix

SuperTux source code

Animation engine for explanatory math videos

Email-based instant messaging for Android.

Dendrite is a second-generation Matrix homeserver written in Go!