Tablam / TablaMLinks
The practical relational programing language for data-oriented applications
β212Updated 2 years ago
Alternatives and similar repositories for TablaM
Users that are interested in TablaM are comparing it to the libraries listed below
Sorting:
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β245Updated 3 weeks ago
- Cell compilerβ115Updated 2 years ago
- Various experiments in relational programmingβ273Updated 3 years ago
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β115Updated 2 years ago
- A compiler for Standard ML, somewhatβ204Updated 3 years ago
- self adjusting computations in rustβ137Updated 4 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rustβ105Updated 5 months ago
- A logic programming language that has features of both Datalog and answer set programming.β119Updated 3 weeks ago
- β212Updated last year
- a datalog interpreter in typescriptβ212Updated 10 months ago
- A fast functional language based on two level type theoryβ391Updated 2 years ago
- A declarative concatenative programming languageβ167Updated last month
- Examples of Beads programsβ112Updated 4 months ago
- Claro Langβ145Updated last year
- β174Updated 2 months ago
- Pointless: a scripting language for learning and funβ122Updated last week
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.β248Updated 2 weeks ago
- Functional language with a powerful type system.β172Updated last year
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.β94Updated 3 years ago
- Autoscalable Programming Languageβ316Updated last week
- a tiny tile-based editorβ313Updated 2 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β109Updated 3 months ago
- A high-level programming languageβ40Updated 9 months ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β266Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.β175Updated 3 weeks ago
- Macros have types!β133Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rustβ361Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rustβ61Updated 5 years ago
- The compiler for Keliβ173Updated 6 years ago
- A simple ML-like programming language with subtyping and full type inference.β180Updated 11 months ago