cocotb: Python-based chip (RTL) verification

Source code of open-source Colobot: Gold Edition project developed by Epsitec and TerranovaTeam

Data files source for open-source Colobot: Gold Edition project developed by Epsitec and TerranovaTeam

A tool for use with clang to analyze #includes in C and C++ source files

Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor

Website for the REUSE Initiative

CRC32 Demystified

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

The automation tower defense RTS

Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.

A game of lonely space adventure

Wool clothing mod for Minetest

Player skin mod, supporting unified_inventory, sfinv and smart_inventory

The ultimate in-game world editing tool for Minetest! Tons of functionality to help with building, fixing, and more.

The Z3 Theorem Prover

Visible player armor & wielded items for minetest

Space exploration, trading, and combat game.