Simple, small, and extremely fast template engine for Rust. Forked from SailFish, now it's a black marlin.
Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams
Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams
A modern async user space AppleTalk stack with Rust + Tokio
...
A Rust library implementing the ASPIC+ framework for structured argumentation
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.