The Z3 Theorem Prover

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

A fancy, easy-to-use and reactive self-hosted docker compose.yaml stack-oriented manager

A multi-platform desktop application to evaluate and compare LLM models, written in Rust and React.

A RAG app to ask questions about rows in a database table. Deployable on Azure Container Apps with PostgreSQL Flexible Server.

Prepare Raspberry Pi 3, 4 & 5 configurations using a virtual machine.

Industry leading face manipulation platform

real time face swap and one-click video deepfake with only a single image

✨🔬 A flexible diffraction simulator for exploring and visualizing physical optics.

Korvus is a search SDK that unifies the entire RAG pipeline in a single database query. Built on top of Postgres with bindings for Python, JavaScript, Rust and C.

Stream virtual desktops and games running in Docker

Use the ch32v003 as a usb pd controller

Open, Multi-modal Catalog for Data & AI

A repository of Maker Skill Trees and templates to make your own.

[ICML 2024] LLMCompiler: An LLM Compiler for Parallel Function Calling

Parse files for optimal RAG

Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.

Custom component for ESPHome to add support for the Emporia Vue 2 energy monitor

Tunnel TCP connections through a file

The browser module adds support for browser automation and end-to-end web testing via the Chrome Devtools Protocol to k6.

Describes and end-to-end process of milling PCBs with cheap 3018 machines. Provides some helpful utilities written in Python.

RAG (Retrieval Augmented Generation) Framework for building modular, open source applications for production by TrueFoundry

High-performance In-browser LLM Inference Engine