Alternatives and similar repositories for Thue:

Users that are interested in Thue are comparing it to the libraries listed below

• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 8 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆21Updated last year
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 2 weeks ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 3 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated 2 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 9 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 10 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago