Stub file (*.pyi) generator for PyO3

LaTeX code for a paper on lean's type theory

Easy concurrency in Haskell

Refinement type checking and inference tool for Rust

An extremely fast Python type checker and language server, written in Rust.

『型システムのしくみ』正誤情報

A modern step-through debugger for GHC Haskell

egraphs + datalog!

A fast type checker and language server for Python

PyO3-based bridges between Python and Rust async runtimes

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

Haskell implementation of open games

surreal cellular automata

Rust bindings for the Python interpreter

Pure realization of Rust-style borrows in Linear Haskell

An experimental optimizing compiler for Bril

Implementation of an efficient thread-safe global Symbol Table, with garbage collection

A recursive interface for egg: e-graphs good without S-expresion!

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Battle-tested generic, dependently-typed programming and extensibile record libraries with GHC Type Checker Plugin

Flow In Sphere.

A tool for managing cargo workspaces and their crates, inspired by lerna

Parser for Rust source code

egg is a flexible, high-performance e-graph library

🤖 Just a command runner

Linear Types, Symmetric Monoidal Categories, and Tensors

Crates to benchmark your Rust code

Statistics-driven benchmarking library for Rust