Lists (1)
Starred repositories
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Reverse engineer anything with agents, from app behavior down to native binaries.
Orca lets you run a fleet of coding agents (e.g. Claude Code, Codex) with your own subscription. Available on desktop, mobile and remote runtime.
The financial transactions database designed for mission critical safety and performance.
The Duck: ARC-AGI-3 inference harness -- winning solution to ARC-AGI-3 Milestone 1.
Artificial neural Intelligence for differential equation approximation.
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
Open Data Platform for analysts, quants and AI agents.
Advances in Financial Machine Learning
A standard API for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
A concise but complete full-attention transformer with a set of promising experimental features from various papers
mypy compliant type annotations for dtype and shapes of tensors.
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
An exabyte-scale, multi-region distributed file system
The math library of Lean 4
This simple tool can be used to generate an RSA PKCS#8 or Ed25519 key pairs.
Orchestrate sandboxed coding agents in TypeScript with sandcastle.run()
SeaweedFS is a distributed storage system for object storage (S3), file systems, Iceberg table buckets, and Lance vector buckets, designed to handle billions of files with O(1) disk access and effo…
Prefect is a workflow orchestration framework for building resilient data pipelines in Python.
A library that allows you to easily mock out tests based on AWS infrastructure.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Production-grade Rust-native trading engine with deterministic event-driven architecture
An AI agent for teams, communities, and multi-user environments.