Stars
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
derive(Error) for struct and enum error types
Companion repo to a course on Udemy.com
Module initialization/global constructor functions for Rust
An asynchronous, multi-producer, single-consumer (MPSC) bounded channel that operates at tachyonic speeds
A set of Docker Compose files that allow you to quickly spin up a Graylog instance for testing or demo purposes.
Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Visual Studio Code Extension and Language Server Protocol for Coq
A home for compiler team planning documents, meeting minutes, and other such things.
Empowering everyone to build reliable and efficient software.
Tool for data extraction and interacting with Lean programmatically.
LLMs as Copilots for Theorem Proving in Lean
The user home repository for the Mathematics in Lean tutorial.
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.