Embedded domain specific language (eDSL) for writing circuits with the [`halo2`](https://github.com/axiom-crypto/halo2) API. It simplifies circuit programming to declaring constraints over a single advice and selector column and provides built-in circuit tuning and support for multi-threaded witness generation.
Scripting language for game prototyping and story logic
A powerful arithmetic and boolean expression evaluator
Pact-Rust support library that implements request and response matching logic
The library with basic utilities for GateSim.
A mediated device management utility for Linux
Drill is a HTTP load testing application written in Rust inspired by Ansible syntax
A macro for assigning values to slices
Ergonomic firmware and binary file creation tool.
A CLI tool for working with and compressing ensembles of districting plans
A package for assigning type names to values
Shell parser, formatter, and interpreter with Bash support