Semantic code navigation for Rust

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…

The SQL IDE for Your Terminal.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Multi-Agent Harness for Production AI

Use Claude Code Agent Teams inside Zellij — a tmux shim that translates tmux commands to zellij actions

BigQuery language server

A radically modular HTML/CSS rendering engine

Web & Mobile UI for Claude Code & Codex . Launch sessions, stream responses, approve tools. All from your browser / mobile

Boa is an embeddable Javascript engine written in Rust.

A construction kit for reinforcement learning environment management.

Tools for Recurrent Optimization via Machine Editing and related benchmarks

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

The Mullvad VPN client app for desktop and mobile

😱 A curated list of amazingly awesome OSINT

Skills Catalog for Codex

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

Code for the paper "Defeating Prompt Injections by Design"

Lightweight, open-source AI agent for your tools, chats, and workflows.

The best ChatGPT that $100 can buy.

On-chain dark pool. MPC for anonymous crosses at midpoint prices.

Neovim AI agent done right

A Rust machine learning framework.

Run OpenClaw, (formerly Moltbot, formerly Clawdbot) on Cloudflare Workers

CRDTs in Clojure(Script) with EDN Serialization

Simple, expressive & portable programming language for efficient scripting