Alternatives and similar repositories for tau

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

• alcides / pascal-in-python
  Pascal compiler implemented in python using Lex, Yacc and LLVM
  ☆87Updated 13 years ago
• rocky / python-spark
  An Earley-Algorithm Context-free grammar Parser Toolkit
  ☆48Updated 8 months ago
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆62Updated 6 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• cslarsen / python-simple-vm
  A simple virtual machine w/constant folding implemented in Python
  ☆120Updated 4 years ago
• cslarsen / stack-machine
  A simple stack-based virtual machine in C++ with a Forth like programming language
  ☆168Updated 3 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• zoncoen / python-ginger
  English grammar checker code
  ☆43Updated 12 years ago
• MagicStack / parsing
  A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.
  ☆51Updated 11 months ago
• sidaw / shrdlurn
  teach the computer your language
  ☆113Updated 5 years ago
• evansneath / compiler
  A single-pass, recursive decent LL(1) compiler written by hand for a made-up language.
  ☆87Updated 7 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆86Updated 4 years ago
• rcorcs / OberonC
  Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language
  ☆26Updated 10 years ago
• asaparov / parser
  Semantic parser induction using a generative model of grammar.
  ☆29Updated 3 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• rspivak / tinypie
  Tree-Based Interpreter, compiler, and VM for TinyPie language
  ☆72Updated 13 years ago
• vladfolts / oberonjs
  Oberon 07 compiler (written in JavaScript and translates to JavaScript)
  ☆136Updated 4 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated 11 months ago
• zick / Oberon2Lisp
  Lisp implementation in Oberon-2
  ☆13Updated 11 years ago
• cslarsen / crianza
  A stack machine VM, interpreter and genetic programming library
  ☆46Updated 6 years ago
• lboasso / oberonc
  An Oberon-07 compiler for the JVM
  ☆160Updated last year
• jplevyak / dparser
  A Scannerless GLR parser/parser generater.
  ☆112Updated 3 months ago
• igordejanovic / parglare
  A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/
  ☆142Updated 10 months ago
• sivareddyg / UDepLambda
  A framework to convert Universal Dependencies to Logical Forms
  ☆90Updated 4 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated 2 weeks ago
• oriontransfer / PL0-Language-Tools
  An implementation of PL/0 including a tree-based interpreter and virtual machine.
  ☆76Updated last year
• ufal / parsito
  Parsito: Fast non-projective transition-based dependency parser
  ☆14Updated 2 years ago
• bangyen / esolangs
  Python implementations of different esoteric programming languages.
  ☆10Updated 3 years ago
• sloria / textblob-aptagger
  *Deprecated* A fast and accurate part-of-speech tagger for TextBlob.
  ☆102Updated 9 years ago
• corani / oberon
  An Oberon-2 LLVM front-end
  ☆22Updated 10 years ago