gilbo / baselangLinks
A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
☆11Updated 9 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 8 years ago
- Generally applicable Terra utilities.☆15Updated 10 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- ☆14Updated 4 years ago
- The Déj à Vu programming language☆15Updated 10 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- ☆23Updated 11 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- An experimental typed version of the Rosette language☆13Updated 6 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- OMeta for Lua☆13Updated 4 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Poplog☆21Updated 14 years ago
- Experimental ML/AI code☆21Updated 3 years ago
- Dr. Bayes☆84Updated 8 years ago