Alternatives and similar repositories for tau:

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

• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆62Updated 6 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• reverie / python-automata
  A Python library for working with finite state automata.
  ☆26Updated 13 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated 6 months ago
• keleshev / mini
  Mini: Interpreter and a programming language implemented in Python
  ☆144Updated 9 years ago
• rocky / python-spark
  An Earley-Algorithm Context-free grammar Parser Toolkit
  ☆46Updated 4 months ago
• sidaw / shrdlurn
  teach the computer your language
  ☆113Updated 5 years ago
• alcides / pascal-in-python
  Pascal compiler implemented in python using Lex, Yacc and LLVM
  ☆87Updated 12 years ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• jplevyak / dparser
  A Scannerless GLR parser/parser generater.
  ☆109Updated this week
• cslarsen / stack-machine
  A simple stack-based virtual machine in C++ with a Forth like programming language
  ☆166Updated 3 years ago
• digitalheir / probabilistic-earley-parser-javascript
  🎲 An efficient implementation of a probabilistic Context Free Grammar parser in Javascript
  ☆55Updated 2 years ago
• sfu-natlang / Kriya
  Hierarchical phrase-based machine translation system
  ☆32Updated 10 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 3 weeks ago
• sivareddyg / UDepLambda
  A framework to convert Universal Dependencies to Logical Forms
  ☆88Updated 4 years ago
• gangeli / NaturalLI
  Natural Logic Inference for Common Sense Reasoning
  ☆61Updated 6 years ago
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 4 years ago
• max99x / crystal
  Natural Language Q/A app using DRT.
  ☆34Updated 13 years ago
• syllog1sm / ccg
  A Combinatory Categorial Grammar library.
  ☆22Updated 11 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated this week
• renepickhardt / generalized-language-modeling-toolkit
  Generalized Language Modeling toolkit
  ☆51Updated 2 years ago
• sloria / textblob-aptagger
  *Deprecated* A fast and accurate part-of-speech tagger for TextBlob.
  ☆102Updated 9 years ago
• andychu / pratt-parsing-demo
  ☆30Updated 4 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆84Updated 3 years ago
• AustinRochford / hmm
  Hidden Markov Models in various languages
  ☆18Updated 11 years ago
• tokyo / tokyo
  A Cython wrapper to BLAS and LAPACK
  ☆44Updated 11 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated last month
• taolei87 / RBGParser
  Graph-based Dependency Parser
  ☆46Updated 9 years ago