π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
β260Feb 28, 2026Updated last week
Alternatives and similar repositories for mech
Users that are interested in mech are comparing it to the libraries listed below
Sorting:
- A lightweight scripting language for Rustβ21Mar 7, 2020Updated 6 years ago
- The many experiments that have led to Eve in its current formβ64Jan 31, 2019Updated 7 years ago
- The practical relational programing language for data-oriented applicationsβ223Dec 3, 2022Updated 3 years ago
- An experimental programming language for ergonomic software verificationβ16Feb 5, 2026Updated last month
- Various experiments in relational programmingβ273Feb 27, 2022Updated 4 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalogβ27Sep 24, 2021Updated 4 years ago
- A programming language based on bindings.β12Jul 6, 2025Updated 8 months ago
- Parinfer layer for CodeMirrorβ16Jan 16, 2018Updated 8 years ago
- A Haskell derived programming language for systems development.β13Sep 18, 2018Updated 7 years ago
- A fast functional language based on two level type theoryβ392Jan 6, 2023Updated 3 years ago
- Experimental LLVM FFI bindings for the Java Platformβ15Apr 6, 2021Updated 4 years ago
- moved to https://codeberg.org/core-lang/coreβ51Jan 30, 2025Updated last year
- An implementation of the datalog query language with user-provided indexes.β15Jun 22, 2015Updated 10 years ago
- π Web-based, reactive Datalog notebooks for data analysis and visualizationβ633Feb 16, 2023Updated 3 years ago
- sikoβ14Jan 6, 2024Updated 2 years ago
- a datalog interpreter in typescriptβ217Dec 31, 2024Updated last year
- Implicit Data Markupβ13Jan 15, 2025Updated last year
- A small extensible programming language designed for concise expression with little code.β1,085Sep 11, 2024Updated last year
- Zesterer's Text Editorβ35Feb 17, 2026Updated 2 weeks ago
- The parallel, concurrent, and functional programming language for scalable software developmentβ468Nov 20, 2025Updated 3 months ago
- A newborn programming language for extensible softwareβ16Dec 24, 2021Updated 4 years ago
- The Ribbon programming languageβ11Jan 25, 2022Updated 4 years ago
- A basis for building an async client-server Websocket protocolβ15Feb 8, 2021Updated 5 years ago
- bsp visibility precomputer, but in Rustβ13Nov 10, 2019Updated 6 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.β12Jul 12, 2022Updated 3 years ago
- A minimalist / functional / dataflow programming languageβ13May 1, 2024Updated last year
- (Hopefully) a compiler for my first language named "Pie"β22Feb 7, 2026Updated last month
- Research on integrating datalog & lambda calculus via monotonicity typesβ416Jun 21, 2022Updated 3 years ago
- An insanely simple self-hosted functional programming languageβ164Aug 2, 2019Updated 6 years ago
- Venice, a Clojure inspired sandboxed Lisp dialect with Java interoperability serving as a safe scripting language.β41Updated this week
- Home of the Swag programming language compiler and standard workspaceβ16Nov 29, 2025Updated 3 months ago
- A [not-really-working] compiler from the ground-upβ11Feb 21, 2018Updated 8 years ago
- Autoscalable Programming Languageβ318Feb 26, 2026Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,158Mar 23, 2025Updated 11 months ago
- A human readable quasi-concatenative programming languageβ260Feb 4, 2025Updated last year
- The Egel Programming Languageβ83Dec 25, 2025Updated 2 months ago
- Argon programming languageβ56Sep 12, 2024Updated last year
- Macros have types!β131Feb 25, 2026Updated last week
- Glide programming languageβ39Dec 14, 2022Updated 3 years ago