Will Crichton's repositories
corrset-benchmark
A repository to test different performance optimizations in a sparse matrix computation.
model-js-workspace
My personal standard for how to set up a Javascript workspace
cargo-single-pyo3
Generate a Python module from a single Rust file.
willcrichton.github.io
Github site
ansi-to-tui
Convert ansi colored text to tui::text::Text
learn-wgpu
Guide for using gfx-rs's wgpu library.
paralegal
Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below
MIT000
theorem_proving_in_lean4
Theorem Proving in Lean 4, with quizzes!