#compiler

The knowledge compiler. Raw sources in, interlinked wiki out. Inspired by Karpathy's LLM Wiki pattern.

Ruby ♥︎ JavaScript

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

Transpile Pine Script v5/v6 to executable JavaScript with zero dependencies.

Foundry toolchain manager

Go to TypeScript transpiler

Proof and repair for Apple coding agents. Validate Swift, run Xcode evidence, repair failures, and generate inspectable Apple-native capabilities.

Synth — WebAssembly-to-native compiler for ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32, and AArch64, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of the PulseEngine toolchain.

Meow Programming Language — a cat-themed functional programming language that transpiles .nyan files to Go

Go to TypeScript transpiler

A static, type inferred and embeddable language written in Rust.

Runtime library for TypeScript helpers.

Go to TypeScript transpiler

An extremely fast bundler for the web

A compiler and runtime for multi-agent DAGs across Pi, Codex, Claude Code, OpenCode, and Grok Build — verify before model spend, isolate context, resume, replay, and recompute.

A dependency injection compiler for Ray.Di

Locter is a library to locate and load a file regarding specific criteria.

A declarative language that compiles to professional SVG floor plans — like Typst/LaTeX, but for architecture. Built for AI agents: deterministic output, JSON diagnostics that carry their own fix, and a describe/lint channel that verifies a plan against its brief without rendering an image. Zero-dependency TypeScript.

PostgreSQL compiler. One source, many faithful forms.

A fork of Roslyn that adds an extension point that allows for arbitrary code modifications.

Vura — Full-stack meta-framework combining What Framework + CelsianJS

Dimina 生态工具

Verifies & compiles reduced-motion-safe, on-budget UI animation for AI-generated web apps. Validated specs → deterministic GSAP/WAAPI-CSS; WCAG 2.2.2 + 2.3.3 checks. MIT core + keyless MCP server. Not Motion.dev/Framer Motion, not the Android/iOS MotionSpec classes, not a video generator.

The semantic layer for spatial computing and AI agents — write once, run as VR, robotics, web, or game.

background code checker