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 8 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 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.
  ☆10Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆16Updated last year
• 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
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• shinh / beflisp
  Lisp implementation in Befunge
  ☆26Updated 8 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆19Updated 12 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆21Updated last year
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 2 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• racket / draw
  ☆18Updated this week
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last month
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 6 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week