aspizu / goboscript
goboscript is the Scratch compiler
aspizu / goboscript
prove-rs / z3.rs
Rust bindings for the Z3 solver.
DSchroer / dslcad
DSLCad is a programming language & interpreter for building 3D models.
cloudflare / boring
BoringSSL bindings for the Rust programming language.
VHDL-LS / rust_hdl
A fast VHDL language server and analysis library written in Rust
mlc-ai / TIRx-harness
An Open Compiler Harness for Agentic GPU Programming
luxine / CalcKernel
CalcKernel compiler, runtime, tests, examples, documentation, and public releases
dom96 / KillSwitch
An esoteric programming language built to break LLMs and coding agents.
Ali-Marandi / RustTextAdventure
A professional and creative text-based adventure game in Rust, showcasing memory safety and idiomatic patterns.
carthage-software / whim
The Whim Programming Language
Whalica / OJ_Insight
OJ Insight is a local-first competitive programming training workspace for multi-OJ analytics, ICPC/CCPC tracking, problem sets, virtual contests, personalized training, and post-contest review.
vahmoh25 / Veda
The Agentic-Native Operating System
mdspan / posix-sync
Idiomatic Rust interface for POSIX synchronisation primitives
pelazas / p2pmux
Multiplayer terminal multiplexer where multiple users and machines can connect to a same session
int04 / ChatCmd
A local-first MCP bridge that turns web-based AI (ChatGPT, Grok, Gemini) into a supervised worker on your computer. (Optimized for programming and Most similar to CodeX)
arjun988 / GPU-Share
GPUMesh lets people you trust run Docker GPU jobs on your machine โ and lets you run jobs on theirs โ over authenticated peer-to-peer connections. No SSH, no VPN, no cloud that sees your workload. Pair once, allowlist stays default-deny, jobs stay in containers.
Towow-ai / jpp
J++: an experimental language with standalone source and a Rust runtime. Compose questions and methods. ็ฌ็ซๆบ็ ๏ผ็ปๅ้ฎ้ขไธๆนๆณใ
wavect / semaprax
The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.