GitHub - Janko-dev/raxio: Symbolic manipulation via rule-based axioms in the terminal - discu.eu

Reddit

[WIP] Raxio: DSL to pattern match arbitrary symbols from the terminal https://github.com/Janko-dev/raxio 3 comments 7/8/2023 rust

[WIP] Raxio: DSL to pattern match arbitrary symbols https://github.com/Janko-dev/raxio 2 comments 7/8/2023 programminglanguages

Linked pages

Install Rust - Rust Programming Language https://www.rust-lang.org/tools/install 24 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - Janko-dev/raxio: Symbolic manipulation via rule-based axioms in the terminal

See how to search.

Submit link to: