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

⏰ Collaboratively track worldwide conference deadlines (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

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

Creusot helps you prove your code is correct in an automated fashion.

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

ANTLR4 parser generator runtime for Rust programming laguage

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

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

Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)

framework for evaluating (planet-scale) consensus protocols

Library for generating/parsing/optimizing Koopa IR.

An incremental approach to compiler construction

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