An incremental parsing system for programming tools

Create book from markdown files. Like Gitbook but implemented in Rust

open source training courses about distributed database and distributed systems

⏰ Agenticly track worldwide conference deadlines (Website, Python Cli, Wechat Applet)

An easy-to-use, zero-downtime schema migration tool for Postgres

Creusot helps you prove your Rust code is correct.

an educational compiler intermediate representation

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A persistent storage engine for Multi-Raft log

Research prototype tool for modular formal verification of C, Rust and Java programs

ANTLR4 parser generator runtime for Rust programming laguage

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

Library for generating/parsing/optimizing Koopa IR.

framework for evaluating (planet-scale) consensus protocols

An incremental approach to compiler construction

Model-based trace-checking ✅ check the conformance of your implementation to your specification