hydromatic / morel-rustLinks
A functional query language, implemented in Rust
☆36Updated 3 weeks ago
Alternatives and similar repositories for morel-rust
Users that are interested in morel-rust are comparing it to the libraries listed below
Sorting:
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated 3 weeks ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- A local first persistent log☆36Updated 2 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 6 months ago
- ☆19Updated 6 months ago
- Memory Management ToolKit☆37Updated 4 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- Durable Streams API☆91Updated 3 weeks ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆49Updated 3 weeks ago
- Large object allocator for Rust☆21Updated last week
- A general purpose relational language☆19Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- MnemOS Global Networking Protocol☆15Updated last year
- the WebAssembly partial evaluator☆108Updated 3 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆41Updated this week
- A programming language for data stream analytics.☆22Updated 2 months ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- A P model of durable Promises☆14Updated 2 years ago
- Messing with Postgres query execution and hook infrastructure.☆13Updated 2 years ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated last year
- A basic log-structured flash datastore☆20Updated 3 years ago
- A JS devtool orchestrator☆52Updated 3 weeks ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- An interactive Datalog☆56Updated last week
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆57Updated last year
- 🌌 A very small graph database (WIP, inactive)☆25Updated last year
- Prototype compiler from SaneQL to SQL☆86Updated last year
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago