Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…

Specification and documentation for Agent Skills

FHL Bible MCP Server

Grammar Constraned Natural Language Generation

The agent that grows with you

Get your documents ready for gen AI

Demo for high-performance type theory elaboration

C++ library to develop competitive programming problems

Docker container for managing Nginx proxy hosts with a simple, powerful interface

Lightweight Kubernetes

Agentic Coding for Builders who Ship

A verification toolchain for Rust programs

Website for taking personality tests

Spec-driven development (SDD) for AI coding assistants.

An incremental parsing system for programming tools

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Multi-Joint dynamics with Contact. A general purpose physics simulator.

Simulation platform for general-purpose robotics & embodied AI learning.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Geometric Algebra for Python

LRCLIB server written in Rust with Axum and SQLite3 database

[NeurIPS 2022 Spotlight] VideoMAE: Masked Autoencoders are Data-Efficient Learners for Self-Supervised Video Pre-Training

Python library for audio and music analysis

Fast and memory-efficient exact attention

[ISMIR 2019] A Bi-Directional Transformer for Musical Chord Recognition

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant