Software
Current projects
Chelis
A programming language for AI-generated numerical code.
Sail
Tools to speed up Verus verification for developers and coding agents.
Good Egg
Trust scoring for GitHub contributors from their contribution history.
Verskyt
A Python library for Tversky Neural Networks, built on PyTorch.
Thaw
A real-time simulation environment for studying how teams of AI agents coordinate.
Not yet publicDive
A TLA+ toolchain written in Rust.
Not yet publicOyster
Tools for turning requirements into analyzed specifications.
Not yet public
Earlier work
PyTorch
Led the core development team at FAIR, with work on the domain libraries and distributed training.
Galápagos Nǎo
A playground for continuous, interactive neuroevolution in Elixir.
ONNXS
ONNX interoperability for Elixir.
Machine Learning Systems
Code accompanying the book.
Mario
Functional, typesafe, declarative data pipelines in Scala.
Large-Scale Machine Learning with Spark on Amazon EMR
Example code accompanying the AWS blog post.