gilbo / baselang
A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
☆10Updated 9 years ago
Alternatives and similar repositories for baselang:
Users that are interested in baselang are comparing it to the libraries listed below
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Lua/Terra + Java Native Interface☆21Updated 7 years ago
- ☆18Updated 6 years ago
- Generally applicable Terra utilities.☆15Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 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
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- experimental computational medium and supporting tools☆22Updated this week
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆22Updated 11 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 8 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 8 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 11 years ago
- ☆13Updated 3 years ago
- ☆21Updated 11 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Poplog☆21Updated 14 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- The Aldor Programming Language☆34Updated this week
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 9 months ago
- APL parser written in Standard ML☆19Updated 8 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Optional types for Prolog☆11Updated 6 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- The Déjà Vu programming language☆15Updated 10 years ago