Alternatives and similar repositories for tm

Users that are interested in tm are comparing it to the libraries listed below

• ibessonov / lambda.js
  Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences
  ☆16Updated 8 years ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆87Updated 2 months ago
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆29Updated 4 years ago
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆23Updated 4 years ago
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆60Updated this week
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated 2 months ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• ilya-klyuchnikov / refal
  ☆13Updated 3 months ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• CineDeveloper / cine
  The project is closed.
  ☆51Updated 5 years ago
• hugeping / rein
  minimal lua/sdl platform
  ☆22Updated last month
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 6 months ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• Deewiant / Mycology
  The Befunge-98 test suite.
  ☆26Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• dmitry-vlasov / russell
  An implementation of the Russell logical framework
  ☆8Updated 5 years ago
• Yad-Studio / YAD-Studio
  Yad Studio - Markov algorithms IDE and interpreter
  ☆43Updated 11 years ago
• Ttimofeyka / Rave
  Compiled and statically typed programming language
  ☆88Updated last week
• vpisarev / ficus
  The programming language Ficus
  ☆73Updated 8 months ago
• morganey-lang / Morganey
  Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
  ☆44Updated 8 years ago
• westerp / zozotez
  A tail call optimizing LISP interpreter that runs on BrainFuck
  ☆22Updated 7 years ago
• silentenemy / asmbrain
  A bare metal brainf*ck interpreter written in pure assembly language
  ☆12Updated 6 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆55Updated 2 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆27Updated 2 years ago