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λ
  ☆90Updated this week
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆77Updated 2 weeks ago
• vtereshkov / umplot
  UmPlot: A plotting library for Umka
  ☆13Updated last year
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆30Updated 4 years ago
• Yad-Studio / YAD-Studio
  Yad Studio - Markov algorithms IDE and interpreter
  ☆44Updated 11 years ago
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆23Updated 4 years ago
• morganey-lang / Morganey
  Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
  ☆44Updated 8 years ago
• ilya-klyuchnikov / refal
  ☆13Updated 7 months ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆45Updated 7 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆32Updated last month
• Ivana- / Liscript
  ☆11Updated 10 years ago
• bmstu-iu9 / scheme-labs
  Материалы по курсу «Основы информатики»
  ☆27Updated 10 months ago
• true-grue / awesome-russian-cs-books
  ☆41Updated 3 years ago
• squarejellyfish / pasic
  ☆10Updated 9 months ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• hugeping / rein
  minimal lua/sdl platform
  ☆23Updated 6 months ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• westerp / zozotez
  A tail call optimizing LISP interpreter that runs on BrainFuck
  ☆22Updated 7 years ago
• programble / befungee
  Befunge-93 interpreter written in Python with a debugger
  ☆19Updated 8 years ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• PenzaStreetGames / MetaStruct
  JIT-ускоритель программ на языке Python
  ☆33Updated 3 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated last year
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 4 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year