terohuttunen / proto-vulcanLinks
A relational logic programming language embedded in Rust.
☆12Updated 2 years ago
Alternatives and similar repositories for proto-vulcan
Users that are interested in proto-vulcan are comparing it to the libraries listed below
Sorting:
- ☆17Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- A Rust port of Jane Street's Incremental library.☆27Updated 5 months ago
- A golden file testing library for rust☆33Updated last month
- WLambda - Embeddable Scripting Language for Rust☆55Updated last month
- A highly experiment portable runtime☆19Updated last year
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Updated 3 years ago
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆21Updated 3 weeks ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Add a REPL to your application with a few macros☆17Updated 2 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 2 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- ☆34Updated 3 years ago
- An experimental project to create an interactive programming language.☆18Updated this week
- C style wrapper for winit - Cross-platform window creation and management in Rust☆13Updated 5 months ago
- A ptrace-based debugger written in Rust.☆14Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- Derive macro for generating arrays from struct fields.☆20Updated 2 years ago
- A Cargo subcommand to run Roogle on local crates☆11Updated last year
- A Pandas implementation in Rust☆11Updated 5 years ago
- An interactive Datalog☆35Updated last week
- hot-reload template for Rust☆22Updated 2 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆34Updated 3 months ago
- Unbuffered and unlocked I/O streams☆45Updated 3 months ago
- Make it possible to chain regular functions☆48Updated 8 months ago