Stars
Scheduler, survey strategy analysis, and other simulation tools for Rubin Observatory.
Standalone server for user address and OTP verification flows with pluggable providers (e-mail, SMS, bank penny drops etc.)
Algorithm powering the For You feed on X
Ongoing research training transformer models at scale
Lean 4 programming language and theorem prover
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
Solve puzzles. Improve your pytorch.
An implementation of Shazam's song recognition algorithm.
A vector index built on TurboQuant, written in Rust with Python bindings
OpenEMS - Open Source Energy Management System
EdgeX Golang Services Monorepo | Owner: Core/Support WG
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
⚡ TabPFN: Foundation Model for Tabular Data ⚡
Learning in infinite dimension with neural operators.
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
A Python DSL to write Nvidia PTX for Hopper and Blackwell in JAX and PyTorch
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
"Being a rocket scientist isn't all that smart when you could work in finance." ― A.D. Aliwat
Fastest enterprise AI gateway (50x faster than LiteLLM) with adaptive load balancer, cluster mode, guardrails, 1000+ models support & <100 µs overhead at 5k RPS.
Python library for arbitrary-precision floating-point arithmetic
A project to improve skills of large language models
Developer Asset Hub for NVIDIA Nemotron — A one-stop resource for training recipes, usage cookbooks, datasets, and full end-to-end reference examples to build with Nemotron models
A scalable generative AI framework built for researchers and developers working on Large Language Models, Multimodal, and Speech AI (Automatic Speech Recognition and Text-to-Speech)
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.