An implementation of chunked, compressed, N-dimensional arrays for Python.

PyTorch implementation of TabNet paper : https://arxiv.org/pdf/1908.07442.pdf

Neural Oblivious Decision Ensembles for Deep Learning on Tabular Data

Store for LLM friendly versions of Crypto Exchange APIs

modern C++(C++11), simple, easy to use rpc framework

[SIGMOD 2024] RaBitQ: Quantizing High-Dimensional Vectors with a Theoretical Error Bound for Approximate Nearest Neighbor Search

Virtual Machine for the Web

An exabyte-scale, multi-region distributed file system

C++20 idiomatic APIs for the Apache Arrow Columnar Format

A lightweight Datalog engine in Rust

VMM for native-performance sandboxing

Domain Specific Languages in Python

A library for pattern matching on symbolic expressions in Python.

Storage for my snippets, toy programs, etc.

A minimal UDP stack based on DPDK

A course of building an LSM-Tree storage engine (database) in a week.

Storing long contexts in tiny caches with self-study

Embeddable Postgres with real-time, reactive bindings.

SRI Yices SMT Solver

Coz: Causal Profiling

Automated generation of provably secure, zero-copy parsers from format specifications

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

Custom Bindings for Enzyme Automatic Differentiation Tool and Interfacing with JAX.

High-performance automatic differentiation of LLVM and MLIR.

export JAX to ONNX

Tools for improving developer experience and code quality

Experimentation library for comparing fine-tuners for neural sequential predictors.

Simple tool for analyzing C++ project include graph