🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.

LIMO: Less is More for Reasoning

Everything you need to build state-of-the-art foundation models, end-to-end.

Clean, minimal, accessible reproduction of DeepSeek R1-Zero

Lean 4 programming language and theorem prover

A crate to help you go wide. By which I mean use SIMD stuff.

Unofficial implementation of Titans, SOTA memory for transformers, in Pytorch

OpenFeature specification

Kats, a kit to analyze time series data, a lightweight, easy-to-use, generalizable, and extendable framework to perform time series analysis, from understanding the key statistics and characteristi…

A python library for user-friendly forecasting and anomaly detection on time series.

Lightning ⚡️ fast forecasting with statistical and econometric models.

Simplifying reinforcement learning for complex game environments

macOS and Linux VMs on Apple Silicon to use in CI and other automations

Scalable, fast, and disk-friendly vector search in Postgres, the successor of pgvecto.rs.

2D and 3D physics engines focused on performance.

Specs - Parallel ECS

Borgo is a statically typed language that compiles to Go.

Visual Studio Code extension for OCaml

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Cocos simplifies game creation and distribution with Cocos Creator, a free, open-source, cross-platform game engine. Empowering millions of developers to create high-performance, engaging 2D/3D gam…

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.

Admin Dashboard Starter with Nextjs15 and shadcn ui

🐻 Bear necessities for state management in React

Python SQL Parser and Transpiler

Tile primitives for speedy kernels

A collection of articles and videos to understand Golang internals.

Official implementation of "MIMO: Controllable Character Video Synthesis with Spatial Decomposed Modeling"

The leading workflow orchestration platform. Run stateful step functions and AI workflows on serverless, servers, or the edge.

Frame profiler