Tablam / TablaM
The practical relational programing language for data-oriented applications
☆199Updated 2 years ago
Alternatives and similar repositories for TablaM:
Users that are interested in TablaM are comparing it to the libraries listed below
- Cell compiler☆113Updated last year
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated last month
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Various experiments in relational programming☆272Updated 3 years ago
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆217Updated this week
- ☆204Updated 9 months ago
- A declarative concatenative programming language☆164Updated 5 months ago
- a datalog interpreter in typescript☆210Updated 3 months ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 4 months ago
- The compiler for Keli☆173Updated 5 years ago
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆169Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆113Updated 2 weeks ago
- Differential dataflow for mere mortals☆521Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆166Updated last week
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- Standard ML interpreter, with relational extensions, implemented in Java☆322Updated last week
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆397Updated 2 years ago
- a tiny tile-based editor☆304Updated this week
- Datalog compiler embedded in Rust as a procedural macro☆471Updated last year
- ☆172Updated 5 months ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆263Updated last year
- 1ML prototype interpreter☆280Updated 4 years ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆242Updated last week
- What if Git worked with Programming Languages?☆98Updated 3 years ago