Alternatives and similar repositories for tau

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

• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• alcides / pascal-in-python
  Pascal compiler implemented in python using Lex, Yacc and LLVM
  ☆87Updated 13 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• rocky / python-spark
  An Earley-Algorithm Context-free grammar Parser Toolkit
  ☆49Updated 10 months ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆86Updated 4 years ago
• reverie / python-automata
  A Python library for working with finite state automata.
  ☆26Updated 14 years ago
• oriontransfer / PL0-Language-Tools
  An implementation of PL/0 including a tree-based interpreter and virtual machine.
  ☆77Updated last year
• akrylysov / abrvalg
  Python-like programming language interpreter written in Python
  ☆106Updated 8 years ago
• n0nick / earley_bird
  Earley's Parser written in Python
  ☆20Updated 13 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated last week
• localchart / mini-pysonar
  a prototype version of PySonar static analyzer
  ☆21Updated 12 years ago
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• cslarsen / stack-machine
  A simple stack-based virtual machine in C++ with a Forth like programming language
  ☆165Updated 4 years ago
• evansneath / compiler
  A single-pass, recursive decent LL(1) compiler written by hand for a made-up language.
  ☆86Updated 7 years ago
• rspivak / tinypie
  Tree-Based Interpreter, compiler, and VM for TinyPie language
  ☆72Updated 13 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• lagodiuk / earley-parser-js
  Tiny JavaScript implementation of context-free languages parser - Earley parser (including generation of the parsing-forest).
  ☆122Updated 7 years ago
• MagicStack / parsing
  A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.
  ☆51Updated last year
• cslarsen / crianza
  A stack machine VM, interpreter and genetic programming library
  ☆44Updated 6 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• sloria / textblob-aptagger
  *Deprecated* A fast and accurate part-of-speech tagger for TextBlob.
  ☆101Updated 9 years ago
• sidaw / shrdlurn
  teach the computer your language
  ☆113Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• 2bt / minilang
  Bootstrapped compiler of a C-like but Python-looking language
  ☆47Updated 7 years ago
• prakhar1989 / raytra
  A simple raytracer written in C++
  ☆13Updated 6 years ago
• rcorcs / OberonC
  Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language
  ☆26Updated 11 years ago
• tsgouros / www-shrdlu
  A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.
  ☆35Updated 10 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• emilmont / pyStatParser
  Simple Python Statistical Parser
  ☆111Updated 8 years ago
• corani / oberon
  An Oberon-2 LLVM front-end
  ☆22Updated 11 years ago