Tablam / TablaMLinks
The practical relational programing language for data-oriented applications
☆204Updated 2 years ago
Alternatives and similar repositories for TablaM
Users that are interested in TablaM are comparing it to the libraries listed below
Sorting:
- Cell compiler☆114Updated last year
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Various experiments in relational programming☆272Updated 3 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- a datalog interpreter in typescript☆210Updated 5 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated last month
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated last month
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆223Updated this week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year
- a tiny tile-based editor☆304Updated last month
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆171Updated last week
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆618Updated 2 years ago
- A declarative concatenative programming language☆164Updated 8 months ago
- self adjusting computations in rust☆135Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆176Updated 6 months ago
- Datalog compiler embedded in Rust as a procedural macro☆474Updated last year
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Logic programming in Rust☆470Updated last month
- ☆207Updated 11 months ago
- ☆172Updated 8 months ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆244Updated last month
- Pure functional Lisp implemented in Rust☆208Updated 3 years ago
- A modern supercompiler for call-by-value functional languages☆415Updated 2 months ago
- ☆100Updated 3 years ago
- The compiler for Keli☆173Updated 6 years ago
- Forth for Rust's trait system☆229Updated 5 years ago