Alternatives and similar repositories for tau

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

• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• kspalaiologos / tinyz80
  A minimal Z80 implementation.
  ☆22Updated 3 years ago
• kspalaiologos / asm2ws
  alpha-grade whitespace toolchain
  ☆11Updated 3 weeks ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆29Updated 4 years ago
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆15Updated 5 years ago
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 3 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆27Updated 4 years ago
• dibsonthis / Glide
  Glide programming language
  ☆20Updated 2 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆58Updated last year
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆55Updated 2 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 3 years ago
• rochus-keller / TccGen
  A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …
  ☆14Updated last year
• daelvn / ltypekit
  Advanced type checking for Lua
  ☆7Updated 6 years ago
• kspalaiologos / asmbf
  The only true brainfuck-targetting assembler.
  ☆118Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated last year
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 2 months ago
• Deewiant / Mycology
  The Befunge-98 test suite.
  ☆26Updated 2 years ago
• TheRealMichaelWang / cish
  Go + Generics + Sum Types
  ☆35Updated 2 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 6 months ago
• dfellis / llvm-hello-world
  LLVM's Hello World Assembly Code
  ☆47Updated 7 years ago
• elucent / basil
  Stack-based, multi-paradigm language with an emphasis on metaprogramming.
  ☆23Updated 3 years ago
• wrapl / minilang
  A mini language used for the Rabs build system and within Wrapl.
  ☆31Updated last week