Fritz Obermeyer

xtensor. C++ tensors with broadcasting and lazy computing

nutpie. Python wrapper for nuts-rs

ik_llama.cpp. llama.cpp fork with additional SOTA quants and improved performance

Collaboration. Play/learn/work with me

parsable. Lightweight argument parsing for Python

srdatalog-python. C++

delta. A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

ublock-hide-yt-shorts. Maintained - uBlock Origin filter list to hide YouTube Shorts

exchangeability. Formalization of exchangeability and three proofs of de Finetti's theorem in Lean 4, following Probabilistic Symmetries and Invariance Principles by Olav Kallenberg

e-boost. Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

history-llms. Information hub for our project training the largest possible historical LLMs.

MicroHs. Haskell implemented with combinators

Newclid. Automatic solver for plane geometry problems.

duckdb. DuckDB is an analytical in-process SQL database management system

formal-conjectures. A collection of formalized statements of conjectures in Lean.

oatlog. An egglog-compatible but faster ahead-of-time compiling e-graph engine.

hilbert_curves. Fast Hilbert Curves

vcpkg. C++ Library Manager for Windows, Linux, and MacOS

concurrentqueue. A fast multi-producer, multi-consumer lock-free concurrent queue for C++11

cursor-ai-downloads. All Cursor AI's official download links for both the latest and older versions, making it easy for you to update, downgrade, and choose any version. 🚀

KLR. A formalization of ML kernel languages

mathlib4. The math library of Lean 4

direct-file. Direct File

cube. Roblox Foundation Model for 3D Intelligence

luminal. Inference at the speed of light.

ty. An extremely fast Python type checker and language server, written in Rust.

hstar-z3. Synthesizing λ-join-calculus behaviors in Z3

mlir-egglog. A toy compiler for NumPy array expressions that uses e-graphs and MLIR

re-arc. Reverse Engineering the Abstraction and Reasoning Corpus

approxmc. Approximate Model Counter

glicol. Graph-oriented live coding language and music/audio DSP library written in Rust

pytorch_dlprim. DLPrimitives/OpenCL out of tree backend for pytorch

pytorch. Ascend PyTorch adapter (torch_npu). Mirror of https://gitcode.com/Ascend/pytorch

Metatheory.jl. Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

less_slow.cpp. Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

servers. Model Context Protocol Servers

egglog. egraphs + datalog!

egglog-speedrun. A re-implementation of egglog for learning purposes.

ARC-AGI-2.

autofd. Automatic Functional Differentiation in JAX

sglang. SGLang is a high-performance serving framework for large language models and multimodal models.

egglog-python. Python bindings for the egglog rust library

exo. Exocompilation for productive programming of hardware accelerators

uv. An extremely fast Python package and project manager, written in Rust.

smt-scope. SMTscope automatically analyses and visualises SMT solver execution traces.

knuckledragger. A Low Barrier Proof Assistant

egg. egg is a flexible, high-performance e-graph library

awesome-egraphs. An awesome list of e-graph resources

siftrank. Use LLMs to rank anything

vllm. A high-throughput and memory-efficient inference and serving engine for LLMs

transformers. 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

aider. aider is AI pair programming in your terminal

codebruijn. experiments with pext/pdep and codebruijn syntax

llama3_interpretability_sae. A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and fully reproducible.

llumnix-ray. Efficient and easy multi-instance LLM serving

tmstat. In memory binary stats reporting tables, as implemented by F5 Networks and contributed back to the community.

fast-loaded-dice-roller. A near-optimal exact sampler for discrete probability distributions

tcmalloc. C++

KUtrace. Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core timeline that you can pan/zoom down to the nanosecond.

oneTBB. oneAPI Threading Building Blocks (oneTBB)

CppCon2023. Slides and other materials from CppCon 2023

sleef. SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT

libfork. A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

llvm-project. The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

gxhash. Unsafely fast hashing algorithm 📈

diff-match-patch-cpp-stl. C++ STL variant of https://code.google.com/p/google-diff-match-patch.

moto. A library that allows you to easily mock out tests based on AWS infrastructure.

swan. This project aims to enable language model inference on FPGAs, supporting AI applications in edge devices and environments with limited resources.

draftback. Get fine-grained feedback on your writing, fast.

webhook. webhook is a lightweight incoming webhook server to run shell commands

ijson. Iterative JSON parser with Pythonic interfaces

nltk. NLTK Source

uvicorn. An ASGI web server, for Python. 🦄

python-markdown2. markdown2: A fast and complete implementation of Markdown in Python

RapidFuzz. Rapid fuzzy string matching in Python using various string metrics

TTS-ARAM. JavaScript

playwright-python. Python version of the Playwright testing and automation library.

chrome-for-testing. JavaScript

DocsServiceApp. This is a Google Apps Script library for supporting Document service, Docs API, Spreadsheet service, Sheets API, Slides service and Slides API. The aim of this library is to compensate the processes that they services cannot achieve.

fast_diff_match_patch. Python package for Google's diff-match-patch native C++ implementation.

diff-match-patch. Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.

html-dom. Common tasks of managing HTML DOM with vanilla JavaScript. Give me 1 ⭐if it’s useful.

gprof2dot. Converts profiling output to a dot graph.

pytest-plugins. A grab-bag of nifty pytest plugins

bayes_traj. Algorithms and tools for Bayesian trajectory modeling

torchstable. Stable distribution pdf calculation in Pytorch

tomlkit. Style-preserving TOML library for Python

apted. Python APTED algorithm for the Tree Edit Distance

code_diff. Fast AST based code differencing in Python

zuko. Normalizing flows in PyTorch

msgspec. A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML

chirho. An experimental language for causal reasoning

immutables. A high-performance immutable mapping type for Python.

fvalues. Python

polar. Polar — A billing platform for the intelligence era

tangent. Source-to-Source Debuggable Derivatives in Pure Python

llama.cpp. LLM inference in C/C++

llama-cpp-python. Python bindings for llama.cpp

LLaMPPL. A domain-specific probabilistic programming language for modeling and inference with language models

mkdocs. Project documentation with Markdown.

mkdocstrings. :blue_book: Automatic documentation from sources, for MkDocs.

python. A Python handler for mkdocstrings.

backoff. Python library providing function decorators for configurable backoff and retry

pyro. Deep universal probabilistic programming with Python and PyTorch

outlines. Structured Outputs

rxio. Declarative Reactivity in modern Python

aioreactive. Async/await reactive tools for Python 3.10+

json-patch-tests. Tests for implementations of json-patch

mypy. Optional static typing for Python

opentelemetry-python-contrib. OpenTelemetry instrumentation for Python modules

YouQ. Chrome Extension for YouTube. Acts as an assistant for the YouTube video you are watching

ruff. An extremely fast Python linter and code formatter, written in Rust.

LlamaAcademy. A school for camelids

gidgethub. An async GitHub API library for Python

E2B. Open-source, secure environment with real-world tools for enterprise-grade agents.

aiobotocore. asyncio support for botocore library using aiohttp

LMOps. General technology for enabling AI capabilities w/ LLMs and MLLMs

gptchat. A GPT-4 client which gives your favourite AI a memory and tools for self-improvement

the-algorithm. Source code for the X Recommendation Algorithm

litestream. Streaming replication for SQLite.

delta-inflight. A test to see how much of the Delta inflight entertainment system I could re-create during a NYC -> SFO flight

petals. 🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading

fastapi-vue. Showcase how to serve your Vue assets from Fastapi

yjs. Shared data types for building collaborative software

ypy. Python bindings to y-crdt

aiofiles. File support for asyncio

authlib. The ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS, JWE, JWK, JWA, JWT included.

starlette. The little ASGI framework that shines. 🌟

fastapi. FastAPI framework, high performance, easy to learn, fast to code, ready for production

aiosqlite. asyncio bridge to the standard sqlite3 module

openai-python. The official Python library for the OpenAI API

whisper. Robust Speech Recognition via Large-Scale Weak Supervision

Prompt-Engineering-Guide. 🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.

tiktoken. tiktoken is a fast BPE tokeniser for use with OpenAI's models.

cascades. Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference, and more.

WebGazer. WebGazer.js: Scalable Webcam EyeTracking Using User Interactions

PyGaze. an open-source, cross-platform toolbox for minimal-effort programming of eye tracking experiments

awesome-cto. A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

langchain. The agent engineering platform.

MeasureTheory.jl. "Distributions" that might not add to one.

pytensor. PyTensor allows you to define, optimize, and efficiently evaluate mathematical expressions involving multi-dimensional arrays.

torchdynamo. A Python-level JIT compiler designed to make unmodified PyTorch programs faster.

blackjax. BlackJAX is a Bayesian Inference library designed for ease of use, speed and modularity.

torchsde. Differentiable SDE solvers with GPU support and efficient sensitivity analysis.

meson. The Meson Build System

discrete-langevin. Python

barker. Code for the paper Livingstone and Zanella (2019) "On the robustness of gradient-based MCMC"

audio. Data manipulation and transformation for audio signal processing, powered by PyTorch

portaudio. PortAudio is a cross-platform, open-source C language library for real-time audio input and output.

dolt. Dolt – Git for Data

TS-EMO. This repository contains the source code for “Thompson sampling efficient multiobjective optimization” (TSEMO).

ANARCI. Antibody Numbering and Antigen Receptor ClassIfication

gvp. Geometric Vector Perceptron --- a rotation-equivariant GNN for learning from biomolecular structure

geometric-vector-perceptron. Implementation of Geometric Vector Perceptron, a simple circuit for 3d rotation equivariance for learning over large biomolecules, in Pytorch. Idea proposed and accepted at ICLR 2021

python-zstandard. Python bindings to the Zstandard (zstd) compression library

openpose. OpenPose: Real-time multi-person keypoint detection library for body, face, hands, and foot estimation

ripgrep. ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Pyro4CI. Deep universal probabilistic programming with Python and PyTorch

biochemical-pathways-poster. Scripts to download and assemble printable versions of Roche's famous biochemical pathways poster

lsyncd. Lsyncd (Live Syncing Daemon) synchronizes local directories with remote targets

python-gitlab. A python wrapper for the GitLab API.

Scruff.jl. Scruff.jl

cryodrgn. Neural networks for cryo-EM reconstruction

BOSS. Bayesian Optimisation for String Spaces

proggyfonts. Monospaced fonts for programming.

pyroed. Bayesian optimization of discrete sequences

tspyro. Joint inference of geography and time using Pyro and tree sequences

DeepFRI. Deep functional residue identification

Machine-learning-for-proteins. Listing of papers about machine learning for proteins.

PELCR. Parallel Environment for optimal Lambda Calculus Reduction

BOHM1.1. Bologna Optimal Higher-Order Machine, Version 1.1

PGMax. Loopy belief propagation for factor graphs on discrete variables, in JAX!

torchdrug. A powerful and flexible machine learning platform for drug discovery

HVM2. A massively parallel, optimal functional runtime in Rust

esm. Evolutionary Scale Modeling (esm): Pretrained language models for proteins

VirSorter2. customizable pipeline to identify viral sequences from (meta)genomic data

MetaPhlAn2. Python

kraken2. The second version of the Kraken taxonomic sequence classification system

beanmachine. A library that allows for inference on probabilistic models

daft. Render probabilistic graphical models using matplotlib

tqdm. :zap: A Fast, Extensible Progress Bar for Python and CLI

millipede. A library for bayesian variable selection

usher. Ultrafast Sample Placement on Existing Trees

sbibm. Simulation-based inference benchmark

pplbench. Evaluation Framework for Probabilistic Programming Languages

sbi. sbi is a Python package for simulation-based inference, designed to meet the needs of both researchers and practitioners. Whether you need fine-grained control or an easy-to-use interface, sbi has you covered.

cell2location. Comprehensive mapping of tissue cell architecture via integrated single cell and spatial transcriptomics (cell2location model)

TyXe. Jupyter Notebook

design-bench. Benchmarks for Model-Based Optimization

vmtouch. Portable file system cache diagnostics and control

rank_structured_cholesky. C++

pyro-cov. Pyro models of SARS-CoV-2 variants

functorch. functorch is JAX-like composable function transforms for PyTorch.

seq. A high-performance, Pythonic language for bioinformatics

nextclade. Viral genome alignment, mutation calling, clade assignment, quality checks and phylogenetic placement

combinators. Inference Combinators for Probabilistic Torch

phylo. Variational Combinatorial Sequential Monte Carlo methods for Bayesian Phylogenetic Inference

pango-designation. Repository for suggesting new lineages that should be added to the current scheme

evaluation-autoguide. Python

storchastic. Stochastic Automatic Differentiation library for PyTorch.