gilbo / baselangLinks
A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
☆11Updated 10 years ago
Alternatives and similar repositories for baselang
Users that are interested in baselang are comparing it to the libraries listed below
Sorting:
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 9 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated last month
- The Déjà Vu programming language☆15Updated 11 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 8 years ago
- A high-level Lua API for GPU parallelism [15-418 final]☆64Updated 9 years ago
- ☆14Updated 4 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- Generally applicable Terra utilities.☆15Updated 10 years ago
- ☆33Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- S-Lua, S-expressions and Macros for Lua☆29Updated 8 years ago
- Dr. Bayes☆84Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Updated 11 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- An implementation of the MANIC cognitive architecture.☆39Updated 8 years ago
- A streaming cross-cat inference engine☆48Updated 10 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Smallish programs written to learn something.☆50Updated last year
- ☆71Updated 5 years ago
- a simple concatenative programming language written in C++☆34Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Bigloo Scheme Compiler☆11Updated 9 years ago