Memory hacking library for Dwarf Fortress and a set of tools that use it

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

A suite of retopology tools for Blender

Optional static typing for Python

High-level emulator for iPhone OS apps. This repo is used for issues, releases and CI. Submit patches at: https://review.gerrithub.io/admin/repos/touchHLE/touchHLE

Mirror of https://gitlab.redox-os.org/redox-os/redox

Lua Virtual Reality Framework

The Comprehensive Kerbal Archive Network

Anime Girls Holding Programming Books

Space exploration, trading, and combat game.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

😱 Falsehoods Programmers Believe in

𝑛-Body and Extended Body Gravitation for Kerbal Space Program

mold: A Modern Linker 🦠

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

Distributed Stockfish analysis for lichess.org

Saves Discord chat logs to a file

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

A code coverage tool for Rust projects

stb single-file public domain libraries for C/C++

An uroboros program with 100+ programming languages

Makes `node_modules/` happen. Fast. No fuss.

A Rust port of FlameGraph

Git-based decentralized issue management

A modern hardware definition language and toolchain based on Python

A cross-platform C and C++ unit testing framework for the 21st century

Text generator prompting with Boolean operators

🙈 Volkswagen detects when your tests are being run in a CI server, and makes them pass.