NeoCogi / pfdsLinks
☆19Updated 3 weeks ago
Alternatives and similar repositories for pfds
Users that are interested in pfds are comparing it to the libraries listed below
Sorting:
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- A Rust port of Jane Street's Incremental library.☆27Updated 8 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆39Updated this week
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- 🐠Like procedural macro, but generates sources! 🐡☆30Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- Language server providing completion for gluon☆53Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated 3 months ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 4 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- enforce representation/class invariants in your Rust data structures☆12Updated 2 years ago
- A golden file testing library for rust☆35Updated 2 weeks ago
- ☆39Updated 4 years ago
- Rust LLVM bindings☆31Updated 2 years ago
- A simple error library for no_std + no_alloc Rust☆18Updated 5 years ago
- FingerTree implemented in rust☆23Updated last year
- A rust implementation of the “Quite OK Image” format for fast, lossless image compression☆47Updated 3 years ago
- An experimental project to create an interactive programming language.☆18Updated 2 months ago
- Macros have types!☆131Updated 2 years ago