A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

An incremental parsing system for programming tools

Project to scale NKI kernels within PyTorch

📦 A Human's Ultimate Guide to setup.py.

Pyinstrument's C extensions - enables the development of a fast statistical profiler

Find and copy needed dynamic libraries into python wheels

Visual Studio Code extension for the Lean 4 proof assistant

A list of awesome compiler projects and papers for tensor computation and deep learning.

egraphs + datalog!

Python bindings for the egglog rust library

LLM powered fuzzing via OSS-Fuzz.

100 numpy exercises (with solutions)

Lean 4 programming language and theorem prover

Armv8 Native Code Symbolic Simulator in Lean

A translation validation framework for MLIR

A Testing Framework for Lean

A formalization of ML kernel languages

Enabling PyTorch on XLA Devices (e.g. Google TPU)

A verified tensor library in Lean

PAXminer is a set of tools to automatically pull, parse, capture, and store workout information from F3 Beatdowns. If you aren't familiar with F3, check out F3nation.com. This set of tools pulls Be…

⛔DEPRECATED Slack App to easily create BackBlasts

A StableHLO analyzer in Lean

Backward compatible ML compute opset inspired by HLO/MHLO

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

SampCert : Verified Differential Privacy