Alternatives and similar repositories for Automata

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

• kcparashar / exams
  Past Exams for UC Berkeley EECS Courses. PR more if you have!
  ☆128Updated 9 years ago
• edombowsky / coursera-compiler
  ☆9Updated 11 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆35Updated last year
• spaghetti-source / Competitive-Programming
  Competitive Programming
  ☆21Updated 9 years ago
• pauek / norvig-sudoku
  Norvig's Sudoku solver in C++
  ☆65Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated 2 weeks ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 8 months ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated 3 weeks ago
• lolilo / VisuaLisPy
  ☆11Updated 10 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆81Updated 4 years ago
• cs-education / sysbuild
  A system programming learning environment in the browser
  ☆36Updated 5 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆116Updated 6 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 9 years ago
• jbrower95 / github-stories
  Stories for Github
  ☆23Updated 8 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• amontalenti / compiler
  Experiments with compilers written in Python
  ☆22Updated 13 years ago
• mbhushan / dynpro
  Dynamic Programming Repository - From Basics to Absolute Magic.
  ☆19Updated 8 years ago
• connerturmon / tictactoe
  Tic Tac Toe CLI game written in C++.
  ☆19Updated 6 years ago
• leegao / float-hacks
  Floating Point Hacks
  ☆168Updated 7 years ago
• kbrsh / slash
  Fast, efficient hash
  ☆103Updated 6 years ago
• pgrafov / python-avl-tree
  Implementation of an AVL tree in Python
  ☆86Updated 6 years ago
• mlarocca / Algorithms
  General purpose implementation of advanced algorithms
  ☆48Updated 8 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• ojb500 / SurvivingPieces
  https://www.quora.com/What-are-the-chances-of-survival-of-individual-chess-pieces-in-average-games
  ☆67Updated 10 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• duckythescientist / obfuscatedLife
  Conway's Game of Life in 9 lines of C
  ☆301Updated 9 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago