NeoCogi / pfds
☆17Updated 5 months ago
Alternatives and similar repositories for pfds:
Users that are interested in pfds are comparing it to the libraries listed below
- Propositional logic with exponentials☆18Updated last month
- Type-Level Programming in Rust☆27Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Propositional logic with types in Rust☆62Updated last year
- ☆22Updated 2 months ago
- Derive macro for generating arrays from struct fields.☆20Updated 2 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆16Updated 7 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆26Updated 2 months ago
- Like a cell, but make lifetimes dynamic instead of ownership☆21Updated 2 years ago
- ☆22Updated 8 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- A syn targetting PEG parser generator☆20Updated last year
- field accessor traits,and emulation of structural types☆11Updated 3 years ago
- WLambda - Embeddable Scripting Language for Rust☆53Updated last month
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- ☆16Updated last year
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Compiler for the Lavish IDL☆18Updated 5 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- Visualise recursive functions and tree structures.☆29Updated 3 years ago
- Garbage collector library☆23Updated 3 years ago
- Rust NonEmpty slice☆13Updated 3 years ago
- Flexible and modular framework for different NP-Problems with different solvers☆21Updated 3 weeks ago