Jacob's repositories
Language:Lean000
dfdx
Deep learning in Rust, with shape checked tensors and neural networks
Language:RustNOASSERTION000
GoFish-cli
CLI Go Fish - this was a super old project, found it on old laptop
mason-registry
Core registry for mason.nvim.
Apache-2.0000
membarrier-rs
Rust library for memory barrier
Language:Rust000
roc
A fast, friendly, functional language. Work in progress!
Language:RustUPL-1.0000
scaling-bassoon
micro autodiff engine
Language:Rust000
Language:Dart000