A simple and easy-to-use library to enjoy videogames programming

Fullstack app framework for web, desktop, and mobile.

Free and Open Source Reverse Engineering Platform powered by rizin

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).

Colourful and legible themes for GNU Emacs

A simple LLM client for Emacs

Make your zero-knowledge circuits safe with formal verification! 🍀

A simple, fast and user-friendly alternative to 'find'

🦄 Modern Org Style

Official Zulip terminal client.

Simple, open source, lightweight and privacy-friendly web analytics alternative to Google Analytics.

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Formalisation of Algebraic Geometry based on the HoTT library.

Vulkan Quake port based on QuakeSpasm

Extension of mesa for performance and scalability

LaTeX facsimile of a Bible de Genève, 1564

You like pytorch? You like micrograd? You love tinygrad! ❤️

finl is not LaTeX

A template for blueprint-driven formalization projects in Lean.

Automated integer factorization

Neovim support for the Lean theorem prover

Termux - a terminal emulator application for Android OS extendible by variety of packages.

The world's most flexible commerce platform.

We connect language learners worldwide. Practice and immerse yourself in different languages.

Script that installs/configures a Dovecot, Postfix, Spam Assassin, OpenDKIM Debian web server

Incremental computation through constrained memoization.

A markup-based typesetting system that is powerful and easy to learn.

A SymPy version of WolframAlpha.