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!
  ☆132Updated 9 years ago
• chesseye / chesseye
  The all seeing chess eye.
  ☆19Updated 8 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• wiredsister / free-software-computer-science-graphics
  A free software repository of infographics and visualizations for understanding Computer Science ideas
  ☆22Updated 7 years ago
• spaghetti-source / Competitive-Programming
  Competitive Programming
  ☆21Updated 9 years ago
• leegao / float-hacks
  Floating Point Hacks
  ☆170Updated 8 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 5 months ago
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆336Updated 7 years ago
• jcjohnson / sorting.js
  Visualize sorting algorithms in Javascript
  ☆59Updated 10 years ago
• j2kun / neural-networks
  Python code and data sets used in the post on neural networks.
  ☆83Updated 5 years ago
• CarsonScott / ai-web-development
  A high-level description of a machine learning algorithm that learns to write HTML and CSS code.
  ☆13Updated 8 years ago
• drdrsh / interactive-bpann
  A web-based step-by-step interactive visualization of artificial neural networks
  ☆75Updated 9 years ago
• t3nsor / quora-backup
  Python scripts to download Quora answers and convert them into a more portable form
  ☆126Updated 4 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• rosulek / vamonos
  Vamonos: browser-based algorithm visualization
  ☆134Updated 9 months ago
• lovincyrus / university-cs-resources
  A curated list of University CS Resources
  ☆65Updated 8 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• alexdantas / mips-examples
  Lots of MIPS-Assembly exercises made during college
  ☆22Updated 12 years ago
• MichalPaszkiewicz / inknote
  Compose music and write score easily in your browser!
  ☆153Updated 9 years ago
• meetps / mit-ocw-dl
  Download all video lectures from a MIT-OCW course with a single command.
  ☆103Updated 6 years ago
• fogleman / GraphLayout
  Graph drawing using simulated annealing for layout.
  ☆118Updated 8 years ago
• lealbaugh / little-loom
  ☆27Updated 6 years ago
• RoyalCaliber / vertexAPI2
  A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction
  ☆23Updated 11 years ago
• taliesinb / floatworld
  Floatworld is an artificial life environment in which virtual creatures compete for space and energy. Each creature is controlled by a ne…
  ☆30Updated 6 years ago
• sananth12 / algorithms
  Compilation of all algos & data structs I've learnt
  ☆44Updated 10 years ago
• pablofernandezorg / image-recognition
  PHP web-based script to connect to ALPR Image recognition software.
  ☆55Updated 9 years ago
• davidad / 8queens
  x64 assembler solution to n-queens problem. Not tested for n!=8.
  ☆62Updated 3 years ago
• HaliteChallenge / Halite
  @twosigma's first artificial intelligence programming challenge
  ☆195Updated 6 years ago
• scvalencia / UVACommandLine
  UVA command line client to upload solutions and search for statistics
  ☆10Updated 8 years ago