Compilers / PLT

A high-performance code intelligence MCP server that indexes entire codebases into persistent knowledge graphs within milliseconds, supporting 158...

kordoc is a specialized document parser and converter for Korean office documents (HWP3/5, HWPX, HWPML, PDF, XLS, XLSX, DOCX) that converts them to...

CocoIndex Code is an AST-based semantic code search CLI tool designed to reduce token usage by 70% and improve performance for coding agents and...

Perry is a native TypeScript compiler that compiles TypeScript and JavaScript directly to standalone binaries using Rust, SWC, and LLVM—eliminating...

IWE is a markdown-based knowledge graph system for personal note-taking and AI agent integration, designed to turn unstructured notes into queryable...

llmwiki compiles raw sources (papers, notes, PDFs, transcripts) into a citation-traceable, interlinked markdown wiki designed for LLM agents and...

jCodeMunch is an MCP server that uses tree-sitter AST parsing to enable precise, symbol-level code retrieval from GitHub repositories, reducing AI...

Steel is an embeddable Scheme interpreter written in Rust that implements a bytecode virtual machine with R5RS compliance and module system support....

Odin is a general-purpose, statically-typed programming language designed for systems programming with a focus on data-oriented design and high...

Lisette is a statically-typed programming language inspired by Rust that compiles to Go, combining Rust's safety features (Hindley-Milner type...

MinerU is a document parsing tool that converts PDFs, Word files, PowerPoints, and spreadsheets into LLM-ready Markdown or JSON, with capabilities...

O-MVLL is an LLVM-based code obfuscator for native applications on Android and iOS, enabling developers to protect sensitive code through control...

Tombi is a TOML formatter, linter, and language server written in Rust, designed specifically for developers working with TOML configuration files....

Rue is an experimental systems programming language implemented in Rust that aims to occupy a middle ground between Rust's low-level control and Go's...

SocratiCode is an open-source codebase intelligence engine that provides semantic search, dependency analysis, and impact tracking across large...

rust-gpu enables writing GPU shaders in Rust by compiling to SPIR-V, targeting graphics and compute workloads across Vulkan and other GPU APIs. It...

Code-Graph-RAG is a specialized retrieval-augmented generation system designed specifically for analyzing and querying multi-language codebases at...

Serena is an MCP (Model Context Protocol) toolkit that provides AI coding agents with semantic code retrieval, refactoring, and debugging...

slang is a high-performance SystemVerilog compiler and language services library that provides lexing, parsing, type checking, and elaboration of...

Rune is an embeddable dynamic programming language for Rust, designed to enable scripting capabilities within Rust applications through a stack-based...

BarraCUDA is a multi-architecture compiler that translates CUDA, HIP, and Triton source code into binaries for AMD RDNA GPUs, NVIDIA PTX, Tenstorrent...

XLS is a High-Level Synthesis (HLS) toolchain from Google that converts high-level functional descriptions into synthesizable Verilog/SystemVerilog...

Alive2 is a specialized verification toolkit for automatically checking the correctness of LLVM compiler optimizations through symbolic execution and...

Luau is a fast, embeddable scripting language derived from Lua with gradual type annotations and a sophisticated type inference system, designed for...

An alternative Cranelift-based code generation backend for the Rust compiler, designed primarily to improve compilation times in debug mode. This...

Rector Rules for Laravel is a specialized Rector extension that automates code upgrades for Laravel projects by applying version-specific...

LOL HTML is a low-latency streaming HTML parser and rewriter library written in Rust, designed to modify HTML on-the-fly with minimal buffering and...

ast-grep is a CLI tool for code structural search, linting, and rewriting based on abstract syntax trees, using tree-sitter for multi-language...

Gno is a blockchain platform that interprets a deterministic variant of Go for writing smart contracts, built on Tendermint consensus. It is designed...

Ada is a WHATWG-compliant, high-performance URL parser written in C++ that normalizes and validates URLs to web standards. It is specifically...