AeneasVerif / aeneas

Verification toolchain that translates Rust programs (via Charon's LLBC) into pure lambda calculus for proof in F*, Coq, HOL4, or Lean.

RodZill4 / material-maker

Desktop tool for creating procedural textures with a node graph and painting 3D models, built on the Godot engine.

dartraiden / NVIDIA-patcher

Patches NVIDIA Windows drivers to enable 3D acceleration on mining cards and select engineering-sample GPUs that are normally restricted.