Alternatives and similar repositories for Thue:

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

• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated 2 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 6 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
• fare / moll
  My Own Linear Lisp
  ☆39Updated 6 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 2 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 8 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• arkanis / lisp.c
  My second Lisp interpreter (bytecode compiler and interpreter) written in GNU C
  ☆26Updated 6 years ago
• irori / advent-unlambda
  A faithful implementation of the Colossal Cave Adventure in Unlambda
  ☆17Updated 5 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆44Updated 4 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆39Updated 2 months ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year