An extremely fast Python package and project manager, written in Rust.

A markup-based typesetting system that is powerful and easy to learn.

A Rust compiler front-end for IDEs

A jq clone focussed on correctness, speed, and simplicity

KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io

Verified Rust for low-level systems code

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

Implementation of the Cedar Policy Language

Systemd unit generator for zram devices

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

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

Alternative Mizar proof checker (http://mizar.org/) written in Rust

Solutions to LeetCode written in 🦀 Rust.

Crate for reading TPTP files.

Connection provers in Rust

The Husky package manager

A pure-Rust implementation of group operations on Ristretto and Curve25519

Rewrite Lean4 Compiler in Rust, using only Claude Code

ONNX shape inference using Z3