mech-lang / mech
π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
β208Updated this week
Related projects β
Alternatives and complementary repositories for mech
- The practical relational programing language for data-oriented applicationsβ191Updated last year
- Cell compilerβ114Updated last year
- self adjusting computations in rustβ130Updated 3 years ago
- a datalog interpreter in typescriptβ208Updated last month
- Various experiments in relational programmingβ270Updated 2 years ago
- Pointless: a scripting language for learning and funβ122Updated 4 years ago
- Pure functional Lisp implemented in Rustβ207Updated 2 years ago
- β187Updated 4 years ago
- β96Updated 2 years ago
- a pragmatic point-free theorem prover assistantβ137Updated last year
- A persistent, relational store inspired by Datomic and DataScript.β52Updated last year
- A declarative concatenative programming languageβ159Updated 2 weeks ago
- π A smol functional language that targets other languagesβ62Updated 9 months ago
- General-purpose abstractions for incremental computing, in Rustβ345Updated 2 years ago
- Functional language with a powerful type system.β165Updated 9 months ago
- An R7RS Scheme implemented in WebAssemblyβ171Updated last year
- An embeddable Scheme R7 Compiler & Runtime written in Rustβ105Updated 7 months ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.β90Updated 2 years ago
- A fast functional language based on two level type theoryβ388Updated last year
- The GameLisp scripting languageβ394Updated 2 years ago
- Lisp in WebAssemblyβ239Updated 2 months ago
- a tiny tile-based editorβ284Updated this week
- An insanely simple self-hosted functional programming languageβ150Updated 5 years ago
- A general purpose statically-typed concatenative programming language.β51Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editorβ78Updated last year
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β259Updated last year
- Datalog compiler embedded in Rust as a procedural macroβ460Updated 8 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β81Updated last week
- Ordo: A minimalist language with row polymorphismβ80Updated 3 months ago
- A compiler for Standard ML, somewhatβ200Updated 2 years ago