a set of automatically generated lemmas in lean

Thin structure reconstruction

A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.

Library for getting the status of the Cetus3D printer.

QR Code Analysis and Recovery Toolkit

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Fast, indexed regexp search over large file trees

open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software

An 'origin' command that continue to the origin of a piece of data in rr

The lazier way to manage everything docker

HTML/XML to JSON converter

Typed distributed plugin registration

Easy access to Linux' sysctl documentation

Experimental syntax for Rust

Out of tree script manager

Rust bindings to DPDK

Bluetooth PHY based on one-bit input and output

Yorick Meta-tracer

Hyperbolic Hierarchical Clustering.

ST2 lite

A rust implementation of protobuf parser

Outlook Web App Notifications for Google Chrome

Array of Struct to Struct of Array helpers in Rust

The `io_uring` library for Rust

Astree is a free open source optical ray tracing and design software

The Rust Performance Book