Library for Game Boy Advance Development
A Rust library implementing the ASPIC+ framework for structured argumentation
Core traits, types, and errors for MimirsWell quantum-temporal memory
SEMI Equipment Communications Standard 2 - Message Content
A mathematically rigorous, type-safe Rust library for 1D grid operations and interval partitions, supporting both native and arbitrary-precision numerics.
Run the PostgreSQL server off a temporary data directory
Interpreter and JIT for Ascent Datalog programs
Formal argumentation: Dung abstract AFs + ASPIC+ structured arguments
Interact with the device-native key storage (Android Keystore, iOS Keychain).
Wrapper for jpdb.io's API
monitord ... know how happy your systemd is! 😊
Resilient LL(1) parser generator