Performant type-checking for python.

A code rewrite tool for structural search and replace that supports ~every language.

Programming language for literate programming law specification

🔎 Static code analysis engine to find security issues in code.

Systems language with linear types and capability-based security.

🍬 a functional language for building type-safe, scalable, and maintainable applications

A library for incremental computations

Simple high-level language for writing Internet Computer canisters

KaRaMeL is a tool for extracting low-level F* programs to readable C code

A verification toolchain for Rust programs

Visual Studio Code extension for Coq

A Rust verification tool

✨ Zero Bullshit Git

A Seamless, Interactive Tactic Learner and Prover for Coq

Experimental "docker build" alternative using btrfs/zfs snapshots

Solving Advent of Code 2022 in OCaml