Ruchir Khaitan's repositories
python-differential
An implementation of differential dataflow in python
life-differential
Conway's Game of Life in Differential Dataflow
avro-rs
Avro client library implementation in Rust
awesome-biomechanics
A curated, public list collecting resources for biomechanics and human motion: datasets, processing tools, software for simulation, educational videos, lectures, etc.
Awesome-explainable-AI
A collection of research materials on explainable AI/ML
awesome-machine-learning-interpretability
A curated list of awesome machine learning interpretability resources.
awesome-rust
A curated list of Rust code and resources.
blog
Some notes on things I find interesting and important.
CARLA
CARLA: A Python Library to Benchmark Algorithmic Recourse and Counterfactual Explanation Algorithms
DiCE
Generate Diverse Counterfactual Explanations for any machine learning model.
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
materialize
The Streaming Data Warehouse
micrograd
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
Production-Level-Deep-Learning
A guideline for building practical production-level deep learning systems to be deployed in real world applications.
rotated-array-set
A sorted array with O(lg n) access and O(√n) inserts and deletes
s3-lock
Mutex implementation for s3
slitter
Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust features.
spartan-type-theory
Spartan type theory
sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
sqlparser
The Materialize SQL parser
tcs
Book in preparation: introduction to theoretical computer science
tutorials
Some Lean tutorials
uBlacklist
Blocks specific sites from appearing in Google search results
yaiouom
Prototype extension of the Rust type system towards checking units-of-measure