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
Related projects ⓘ
Alternatives and complementary repositories for baselang
- Lua/Terra + Java Native Interface☆21Updated 7 years ago
- A low-level probabilistic programming framework embedded in Terra.☆28Updated 8 years ago
- Generally applicable Terra utilities.☆15Updated 9 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- ☆22Updated 10 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆21Updated 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
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- Poplog☆21Updated 14 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- experimental computational medium and supporting tools☆22Updated this week
- ☆13Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- The Déjà Vu programming language☆15Updated 10 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 5 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 7 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- purple: compiling a reflective language☆29Updated last month
- Lua port of of microKanren, a minimal logic programming engine.☆34Updated 10 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 8 months ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago