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
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated last month
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆86Updated 3 weeks ago
• CineDeveloper / cine
  The project is closed.
  ☆51Updated 5 years ago
• dmitry-vlasov / russell
  An implementation of the Russell logical framework
  ☆8Updated 5 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 7 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• ilya-klyuchnikov / refal
  ☆13Updated last month
• artlebedev / parser3
  Parser 3, HTML-embedded scripting language
  ☆28Updated last week
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated 2 months ago
• AlexeyGrishin / badbee
  ☆38Updated 3 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• hugeping / rein
  minimal lua/sdl platform
  ☆22Updated 2 weeks ago
• Ivana- / Liscript-GUI-Java-Swing
  Liscript GUI Java Desktop Swing
  ☆27Updated last year
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• PenzaStreetGames / MetaStruct
  JIT-ускоритель программ на языке Python
  ☆33Updated 2 years ago
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆23Updated 4 years ago
• Ivana- / Liscript
  ☆11Updated 9 years ago
• fsantanna / dceu
  ☆29Updated last week
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• KvanTTT / Articles
  Collection of my articles in English and Russian
  ☆27Updated 4 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆85Updated 4 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• Dudarion / Interactive-Minkowski-diagram
  Interactive Minkowski diagram allows to understand Special relativity.
  ☆14Updated 3 months ago
• devNegative-asm / TypeLisp
  Inspired by typelang, a lisp implemented in typescript's type engine
  ☆13Updated 9 months ago
• bmstu-iu9 / scheme-labs
  Материалы по курсу «Основы информатики»
  ☆26Updated 4 months ago