A tool designed for low-level examination and modification of Unreal Engine game assets by hand.

Bluespec Compiler (BSC)

API Set resolver for Windows

L'appli Web de cartes grand public

Truck is a Rust CAD Kernel.

Non-warp Nevermore Max Frame.

Visualizes Video Quality Metrics (PSNR, SSIM & VMAF) calculated by ffmpeg.exe

The classic DOOM game over htop, the text-based process viewer

The Xr0 Verifier for C

Independent verification of binary packages - reproducible builds

The FLARE team's open-source tool to identify capabilities in executable files.

Authenticate the cryptographic chain-of-custody of Linux distributions (like Arch Linux and Debian) to their source code inputs

Fault-tolerant Async Actors Built on Tokio

It's a New Kind of Wrapper for Exposing LLVM (Safely)

A safe, easy systems language

Shuttle is a library for testing concurrent Rust code

CBScript for Minecraft

The Z3 Theorem Prover

Fearless hardware design

💊 A git query language

Git Query language is a SQL like language to perform queries on .git files with supports of most of SQL features such as grouping, ordering and aggregations functions

General purpose cross-platform GIS-rendering library written in Rust

Source code of Seed7

Python-based continuous integration testing framework; your pull requests are more than welcome!

The king is back -leaner, faster, and ready to declutter your Windows 11

A configuration as code language with rich validation and tooling.

a programming library with geometric algorithms

Reimplementation of GTA:SA 1.0 US