Machine learning research manager at Netflix, math nerd, and Scala fan.
-
Netflix
- San Francisco
Stars
9
stars
written in Rust
Clear filter
Empowering everyone to build reliable and efficient software.
Extremely fast Query Engine for DataFrames, written in Rust
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Official Rust implementation of Apache Arrow
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Framework and Language for Neurosymbolic Programming.