Starred repositories
A type-safe, deeply-embedded SQL query DSL for Lean 4
Agentic runtime in Rust — persistent, supervised agents. Self-hosted, local-first, zero telemetry. Apache 2.0.
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
Modular data platform building blocks wired through explicit contracts, not hidden dependencies
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
SkillOpt with local AI is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_sk…
Open source weather station based on Arduino and Ionic by Francisco Clariá
This is the official repository for The Hundred-Page Language Models Book by Andriy Burkov
0xD0M1M0 / ExoMy
Forked from esa-prl/ExoMyExoMy - The 3D Printed Rover - Successor repository
ExoMy [ARCHIVED]: Check https://github.com/0xD0M1M0/ExoMy for latest updates.
Papaya Pathfinder is an open-source, fully 3D-printable rover platform based on ESP32, featuring multiple rover variants and supporting both WiFi and ExpressLRS (ELRS) control via interchangeable f…
3D-printed Mars Rover robot inspired by NASA’s Perseverance rover. Built using Raspberry Pi, ESP32, and Arduino boards. It includes a web dashboard and an embedded touchscreen UI for monitoring and…
A New Language for Data + AI - Modern Problems needs Modern Solutions
Technical resources for AI developers to build applications, agents, and systems using Oracle AI Database and OCI services
AgriCruiser: An Open Source Agriculture Robot for Over-the-row Navigation
Develop an open source robotic lawn mower (HW+SW reference platform)
Watney is a low-cost 3D-printable FPV rover
Ruminant Farm Systems (RuFaS) is an open-source, next-generation, whole-farm modeling environment that simulates dairy farm production and environmental impact.
Compounding Context for AI Coding Assistants — MCP graph engine for Claude Code, Cursor, Copilot, Gemini, OpenCode
Join Discord: https://discord.gg/5TUQKqFWd / claw-code Rust port parity work - it is temporary work while claw-code repo is doing migration
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
The infrastructure platform for the intelligence era
An extension to use the sqlfluff linter in vscode.
Project NOMAD is an offline-first knowledge and education server. Wikipedia, thousands of books, courses, maps, and optional local AI, all running on hardware you own with no internet required.