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λ
  ☆94Updated last month
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆33Updated 3 months ago
• vtereshkov / umplot
  UmPlot: A plotting library for Umka
  ☆13Updated last year
• true-grue / soviet_compilers
  Материалы к серии докладов о советской компиляторной школе
  ☆12Updated last year
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆79Updated last month
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆23Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆39Updated last year
• morganey-lang / Morganey
  Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
  ☆51Updated 8 years ago
• ilya-klyuchnikov / refal
  ☆13Updated 9 months ago
• hugeping / rein
  minimal lua/sdl platform
  ☆23Updated 8 months ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆28Updated 2 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• dibsonthis / Glide
  Glide programming language
  ☆21Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• kenrube / Esopoly
  Polyglot written in 7 esoteric programming languages
  ☆31Updated 4 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆31Updated 11 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 6 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated 2 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 8 years ago
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆67Updated this week
• bmstu-iu9 / scheme-labs
  Материалы по курсу «Основы информатики»
  ☆26Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated last year
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆76Updated last year
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 5 months ago
• proglangdesign / wiki
  The programming language design wiki.
  ☆26Updated 3 months ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 4 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆61Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week