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
• morganey-lang / Morganey
  Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
  ☆44Updated 7 years ago
• CineDeveloper / cine
  The project is closed.
  ☆51Updated 5 years ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆86Updated last year
• luno-lang / luno
  A small toy language with syntax heavily inspired by Lua that transpiles to JS.
  ☆18Updated 2 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• Yad-Studio / YAD-Studio
  Yad Studio - Markov algorithms IDE and interpreter
  ☆43Updated 10 years ago
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆29Updated 4 years ago
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆24Updated 4 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 7 years ago
• trinarygroup / trinary.computer
  ☆11Updated last year
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆74Updated this week
• Mark-Kovalyov / CardRaytracerBenchmark
  This is a short C++/Java/C#/Python benchmark. Based on Paul Heckbert's sources.
  ☆46Updated 2 years ago
• excelsior-oss / far-git-autocomplete
  Git Autocomplete is a Far Manager plugin
  ☆27Updated 7 years ago
• hugeping / rein
  minimal lua/sdl platform
  ☆22Updated last week
• Ttimofeyka / Rave
  Compiled and statically typed programming language
  ☆84Updated this week
• tsoding / mazarusha
  Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё
  ☆8Updated 5 years ago
• ilya-klyuchnikov / refal
  ☆13Updated last week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• dmitry-vlasov / russell
  An implementation of the Russell logical framework
  ☆8Updated 5 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 3 years ago
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆52Updated this week
• grigory-rechistov / interpreters-comparison
  Sample programs for comparison of different VM interpretation techniques
  ☆33Updated 5 months ago
• q60 / rot13
  This is a collection of ROT13 encoding programms written in different languages. Just for fun.
  ☆38Updated last month
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 10 years ago
• westerp / zozotez
  A tail call optimizing LISP interpreter that runs on BrainFuck
  ☆22Updated 6 years ago
• kpmy / tri
  trinary.dart
  ☆16Updated 10 years ago
• ArtemOnigiri / ParticleAutomata
  ☆104Updated 6 years ago