Skip to content
View vdt's full-sized avatar

Block or report vdt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Wasm interpreter in lean, designed for reasoning

Lean 106 12 Updated Jun 19, 2026

If T: Benchmark for Type Narrowing

Racket 10 4 Updated May 12, 2026

Yet another coding agent harness, lightweight and written in go.

Go 266 21 Updated Jun 19, 2026

FFmpeg Assembly Language Lessons

12,078 400 Updated Feb 22, 2026

About A git subcommand for analyzing package/dependency usage in git repositories over time

Go 162 9 Updated Jun 19, 2026

Vera: a programming language designed for LLMs to write

Python 382 20 Updated Jun 20, 2026

A blog site for you

TypeScript 10 4 Updated May 27, 2026

Hardware hacker’s flying probe automation stack for agent-driven target discovery, microscope mapping, safety-monitored CNC motion, probe review, and controlled pin probing.

Python 305 18 Updated Apr 16, 2026

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

Rust 21,102 965 Updated Jun 20, 2026

Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.

TypeScript 38,706 2,758 Updated Jun 17, 2026

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Rust 194,059 109,937 Updated Jun 8, 2026

Self-referential self-improving agents that can optimize for any computable task

Python 2,590 339 Updated May 9, 2026

Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977

85 12 Updated Jan 3, 2024

Free and Open Source (FOSS) preservation effort and rewrite of the iconic Civilization Game designed by Sid Meier and Bruce Shelley in year 1991

527 23 Updated Jun 3, 2026

Open-source, self-hosted workspace with installable tools. Mail, boards, docs, chat, todos, files, calendar, and video rooms. Deploy with ONCE, Kamal, or Docker.

Ruby 171 7 Updated Jun 19, 2026

An open standard for shared agent learning. Agents persist, share, and query collective knowledge so they stop rediscovering the same failures independently.

Go 1,199 61 Updated Jun 19, 2026

Proof SDK: open-source collaborative editor, provenance model, and agent HTTP bridge

TypeScript 1,021 164 Updated Mar 23, 2026

Talk to your Mac, query your docs, no cloud required. On-device voice AI + RAG

C++ 1,523 82 Updated Mar 16, 2026

AngstromIO, one of the smallest devboards out there, barely longer than a USB C connector, based on the Attiny1616 MCU. And a dual CH340 board for programming and debugging, and another devboard, b…

C 327 14 Updated Apr 7, 2026
TypeScript 66 4 Updated Feb 17, 2026

Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.

Rust 27,164 1,430 Updated Jun 10, 2026

Ollama for classical ML models. AOT compiler that turns XGBoost, LightGBM, scikit-learn, CatBoost & ONNX models into native C99 inference code. One command to load, one command to serve. 336x faste…

Python 684 23 Updated Apr 16, 2026

GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a git repository (Github, Gitlab, Azure, Local) or…

TypeScript 42,483 4,802 Updated Jun 20, 2026

A benchmarking framework for the Julia language

Julia 674 105 Updated Jun 4, 2026

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

TypeScript 29,930 12,886 Updated Jun 18, 2026

An open source collection of animated, interactive & fully customizable React components for building memorable websites.

JavaScript 41,499 1,900 Updated Jun 20, 2026

A custom registry of composable, accessible and extensible components designed for use with shadcn/ui. Free and open source, forever.

TypeScript 247 15 Updated Apr 26, 2026

A community trust management system based on explicit vouches to participate.

Nushell 4,773 87 Updated Jun 7, 2026

A minimal, secure Python interpreter written in Rust for use by AI

Rust 7,751 377 Updated Jun 19, 2026

A stellar way to build reactive custom elements.

TypeScript 71 3 Updated Feb 2, 2025
Next