stefnotch's starred repositories
scryer-prolog
A modern Prolog implementation written mostly in Rust.
diamond-types
The world's fastest CRDT. WIP.
Auto-Vk-Toolkit
Getting serious about Vulkan development with this modern C++ framework, battle-tested in rapid prototyping, research, and teaching. Includes support for real-time ray tracing (RTX), serialization, and meshlets.
noita_entangled_worlds
True coop multiplayer mod for Noita.
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
thunderdome
Arena type inspired by generational-arena
cargo-run-bin
Build, cache, and run CLI tools scoped in Cargo.toml rather than installing globally. Stop the version drifts across your team, keep it all in sync within your project!
iai-callgrind
High-precision and consistent benchmarking framework/harness for Rust
xtask-wasm
Customizable subcommands to build your Wasm projects using xtask.
trealla-js
Trealla Prolog for the web
pulldown-latex
A pull parser for LaTeX parsing and mathml rendering.
brightness
Get and set brightness
wgsl-linker
import / export for wgsl