A library for managing pools of interactive subprocesses
Recursion schemes (cata, ana, hylo, para, apo, histo, futu, zygo, chrono) for the Industrial Algebra ecosystem
Symbolic math library: expression trees, automatic differentiation, simplification, CSE, code generation
Proc macros for arael-sym: the sym! auto-clone macro
Type checker for the lambda-Pi calculus modulo rewriting
Inference calculi for automated theorem proving
A modern terminal IRC client built with Ratatui and Tokio
A modern Prolog implementation written mostly in Rust.
A basic interface to rewrite concrete tree terms according to a set of rules
Locally nameless representation with automatic capture-avoiding substitution and alpha equivalence