NeoCogi / pfds
☆17Updated 6 months ago
Alternatives and similar repositories for pfds:
Users that are interested in pfds are comparing it to the libraries listed below
- ☆16Updated last year
- Propositional logic with exponentials☆20Updated 2 months ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Propositional logic with types in Rust☆62Updated last year
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- An experimental project to create an interactive programming language.☆17Updated this week
- Liquid Types implementation for Rust☆28Updated 2 years ago
- Language server providing completion for gluon☆52Updated last year
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- Fast cache efficient immutable map for rust☆28Updated 6 months ago
- A Rust port of Jane Street's Incremental library.☆23Updated 3 months ago
- Derive macro for generating arrays from struct fields.☆20Updated 2 years ago
- Garbage collector library☆23Updated 3 years ago
- A simple compile-to-WebAssembly language rewritten in Rust☆11Updated 2 years ago
- Compiler for the Lavish IDL☆17Updated 5 years ago
- Type-level interfaces for type-level design in Rust☆24Updated 2 months ago
- Ninja is a small build system with a focus on speed. Rust language port.☆16Updated 7 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- Typesafe extensions for sorted iterators, including set and relational operations☆17Updated last year
- ☆33Updated 3 years ago
- Session types for asynchronous communication between multiple parties.☆41Updated 9 months ago
- Speedy self-documenting lisp in Rust.☆21Updated 10 months ago
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 4 years ago