Alternatives and similar repositories for AutomataPlus

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

• hemangsk / automata-python
  [WIP] A python automata library implementing Finite Automata, FA with Output and PDA
  ☆22Updated 3 years ago
• autolab / Tango
  Standalone RESTful autograding service
  ☆48Updated last month
• danielrandall / python-control-flow-graph
  ☆9Updated 10 years ago
• ccannon94 / github-classroom-utilties
  A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.
  ☆46Updated 4 years ago
• nltk / nltk_papers
  Papers about NLTK
  ☆21Updated 10 years ago
• hjalti / mossum
  Moss summarizer
  ☆194Updated 2 years ago
• bondhugula / polymage-benchmarks
  Base code and optimized code for the benchmarks used in the PolyMage paper published at ASPLOS 2015
  ☆19Updated 8 years ago
• naraB / colab-notifier
  A Google Chrome extension that notifies you when longer running Google Colaboraty cells are finished
  ☆23Updated 5 years ago
• ucbrise / risecamp
  RISECamp Tutorials
  ☆38Updated 5 years ago
• learnbigcode / learnbigcode.github.io
  Website for Learning from "Big Code"
  ☆29Updated 3 years ago
• joonazan / regex-equivalence
  A web page for checking if two regular expressions match the same language.
  ☆17Updated 7 years ago
• j2kun / ucb1
  The code for the post "Optimism in the Face of Uncertainty: the UCB1 Algorithm"
  ☆37Updated 4 years ago
• daviddao / pytorch-without-a-phd
  PyTorch version of TensorFlow without a PhD
  ☆10Updated 8 years ago
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆222Updated 6 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• ChrisCummins / clgen
  Deep learning program generator
  ☆107Updated last year
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 2 months ago
• distillpub / post--research-debt
  Research Debt
  ☆26Updated 7 years ago
• mwillsey / crossbot
  A slackbot to compete on mini crosswords (or any other daily challenge).
  ☆16Updated 3 years ago
• coxlab / ostrichinator
  ☆17Updated 7 years ago
• christhomson / lecture-notes
  LaTeX notes for a few courses I've taken at the University of Waterloo.
  ☆50Updated 7 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• cirosantilli / write-free-science-books-to-get-famous-website
  MOVING to: https://ourbigbook.com Mission: live in a world where you can learn university-level mathematics, physics, chemistry, biology …
  ☆131Updated last year
• greydanus / crypto-rnn
  Learning the Enigma with Recurrent Neural Networks
  ☆160Updated 2 years ago
• ds4se / chapters
  Perspectives on Data Science for Software Engineering
  ☆61Updated 2 years ago
• aktech / sympy-tutorial
  SymPy Presentation
  ☆38Updated 9 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• pat-coady / rnn
  Recurrent Neural Network Language Model
  ☆8Updated 7 years ago
• barreira / lei-1819
  Benchmark and comparison of secure Deep Learning platforms: TF Privacy, PySyft and TF-Encrypted
  ☆10Updated 4 years ago