The math library of Lean 4

Staging repo for development of native port of TypeScript

Projects which have taken "TypeScript" and made it more than just 'JS with Types'

Matchlock secures AI agent workloads with a Linux-based sandbox.

firecracker-containerd enables containerd to manage containers as Firecracker microVMs

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

Unroll a new functional programming language

.NET binary builds for x86_64 Haiku

A .NET library that provides access to the library that powers PyTorch.

Gamestream client for embedded systems

Self-hosted game stream host for Moonlight.

CADAM is the open source text-to-CAD web application

Open source Raspberry Pi 5 compatible Micro Four Thirds camera module based on IMX294

A One Inch CMOS sensor (IMX283) camera board designed for Raspberry Pi

Visual Basic IDE for Native Linux Dotnet Development

Collection of software components for development of open source cinema camera using raspberry pi hardware and software.

graphic user interface framework for cinepi cameras.

Hierarchical Reasoning Model Official Release

A radically modular HTML/CSS rendering engine

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

BullMQ - Message Queue and Batch processing for NodeJS, Python, .NET, Elixir, Rust and PHP based on Redis or PostgreSQL

state of the art browsing agent (WebArena 72.7%)

An open-source AI agent that brings the power of Gemini directly into your terminal.

Apple Silicon device emulator.

Flystorage; File storage abstraction for Node / TypeScript

The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents

A Typescript library to use LLM providers APIs in a unified way.