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λ
  ☆86Updated this week
• ilya-klyuchnikov / refal
  ☆13Updated last month
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• egryaznov / prolog-poetry
  Генератор стихов на Prolog
  ☆24Updated 4 years ago
• morganey-lang / Morganey
  Lambda Calculus based, interpreted programming language that recognizes Church encoded structures.
  ☆44Updated 7 years ago
• bmstu-iu9 / scheme-labs
  Материалы по курсу «Основы информатики»
  ☆26Updated 3 months ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated 2 weeks ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• hugeping / rein
  minimal lua/sdl platform
  ☆22Updated last month
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆54Updated last week
• CineDeveloper / cine
  The project is closed.
  ☆51Updated 5 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 7 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• nikelborm / puzzle
  Create awesome mosaic on your Windows desktop using folders!
  ☆13Updated 7 months ago
• dmitry-vlasov / russell
  An implementation of the Russell logical framework
  ☆8Updated 5 years ago
• trinarygroup / trinary.computer
  ☆11Updated last year
• valyagolev / leave-vk
  Бекап вашего паблика ВК (уходите из ВК!)
  ☆22Updated last year
• KikyTokamuro / Simple-Functional-Programming
  Функциональное программирование простым языком + примеры
  ☆31Updated 5 years ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆54Updated this week
• devNegative-asm / TypeLisp
  Inspired by typelang, a lisp implemented in typescript's type engine
  ☆13Updated 8 months ago
• trinarygroup / DSSP-32
  Dialog System for Structured Programming
  ☆20Updated 8 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• Yad-Studio / YAD-Studio
  Yad Studio - Markov algorithms IDE and interpreter
  ☆43Updated 11 years ago
• manoloesparta / lalalang
  🤠 Just a programming language with a silly name
  ☆15Updated 2 years ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• kspalaiologos / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago