ibessonov / tmLinks
Generator of Turing Machines that run on Java generic types
☆10Updated 7 years ago
Alternatives and similar repositories for tm
Users that are interested in tm are comparing it to the libraries listed below
Sorting:
- Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences☆16Updated 8 years ago
- Smalltalk like programming language☆61Updated this week
- Компилятор Рефала-5λ☆86Updated last month
- SPSC: A Small Positive Supercompiler☆35Updated last year
- The future of programming.☆69Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- Teaching language LaMa for a compiler course☆75Updated last month
- Edina - A simple stack-oriented compiled programming language.☆13Updated 2 years ago
- A two-dimensional, triangular programming language.☆18Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- FizzBuzz, formally verified, provably correct☆27Updated 2 years ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆73Updated 2 months ago
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated 2 years ago
- Polyglot written in 7 esoteric programming languages☆29Updated 4 years ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 5 months ago
- A tail call optimizing LISP interpreter that runs on BrainFuck☆22Updated 7 years ago
- The project is closed.☆51Updated 5 years ago
- minimal lua/sdl platform☆22Updated last month
- Argentum Programming Language☆36Updated 5 months ago
- A programming language with a simple no-keyword syntax for computing tensors and rational numbers with unlimited precision (NOTE: NewLang…☆21Updated 2 months ago
- Yet another UNIX-like argument parser for C. CC0-licensed.☆16Updated 6 months ago
- Inspired by typelang, a lisp implemented in typescript's type engine☆13Updated 10 months ago
- A 2-D programming language inspired by Hexagony☆25Updated 3 weeks ago
- Collection of interpreters for esoteric programming languages☆14Updated 3 years ago
- ☆29Updated last month
- The interpreter for Rhovas, a programming language for API design and enforcement.☆31Updated 8 months ago
- A systems programming language with lexical effect handlers☆13Updated 3 months ago
- WIP stack language that uses regex for control flow☆42Updated last year