NeoCogi / pfds
☆18Updated 7 months ago
Alternatives and similar repositories for pfds
Users that are interested in pfds are comparing it to the libraries listed below
Sorting:
- Propositional logic with exponentials☆20Updated last week
- ☆16Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- A Rust port of Jane Street's Incremental library.☆25Updated 4 months ago
- Propositional logic with types in Rust☆62Updated last year
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆34Updated 2 months ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆28Updated 3 weeks ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Speedy self-documenting lisp in Rust.☆21Updated 11 months ago
- WLambda - Embeddable Scripting Language for Rust☆55Updated 3 months ago
- A toy incremental computation framework☆15Updated 4 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- LR-style Parser Generator☆19Updated last month
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- ☆17Updated 5 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- An experimental project to create an interactive programming language.☆17Updated this week
- hot-reload template for Rust☆21Updated 2 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- ☆15Updated 5 years ago
- A radioactive stabilization of the ptr_meta RFC.☆26Updated 2 weeks ago
- Ninja is a small build system with a focus on speed. Rust language port.☆16Updated 7 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- Derive macro for generating arrays from struct fields.☆20Updated 2 years ago
- Compiler for the Lavish IDL☆17Updated 5 years ago
- Type-level strings☆14Updated last year
- Language server providing completion for gluon☆52Updated last year