Agda is a dependently typed programming language / interactive theorem prover.

The single instruction C compiler

In-browser code editor (version 5, legacy)

Incremental parsing system

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

Compiler front-end foundation technology.

A docker-compose configuration for a fully self-hosted excalidraw stack, a collaborative whiteboard solution

Optimizing compiler for SysY (C subset)

MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.

OpenID Connect Library for Rust

The official repository for the gem5 computer-system architecture simulator.

A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.

🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

SymCC: efficient compiler-based symbolic execution

Procedural macro to implement Display and FromStr using common settings.

derive builder implementation for rust structs

sketches for egg: a flexible, high-performance e-graph library

Optimize floating-point expressions for accuracy

Rewrite Rule Inference Using Equality Saturation

A categorized list of C++ resources.

Apron Numerical Abstract Domain Library

Context-Generic Programming: modular programming paradigm for Rust

The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬

A modern Prolog implementation written mostly in Rust.

Defines the Rust borrow checker.

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

A fast type checker and language server for Python

Performant type-checking for python.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.