Alternatives and similar repositories for AutomataPlus:

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

• drathier / compprogcheatsheet
  Cheat sheet for competitive programming
  ☆15Updated 8 years ago
• eglassman / overcode
  OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…
  ☆22Updated 8 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• danielrandall / python-control-flow-graph
  ☆9Updated 10 years ago
• johnyf / tool_lists
  Links to tools by subject
  ☆373Updated 11 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆173Updated 5 years ago
• simonseo / schedulinglab
  Emulates FCFS, RR, SJF, HPRN scheduling algorithms in an OS
  ☆14Updated 7 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• frcepeda / Contest-Archive
  An archive of pretty much every solution I've written for programming contests.
  ☆24Updated last year
• ccannon94 / github-classroom-utilties
  A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.
  ☆46Updated 4 years ago
• BrockCSC / acm-icpc
  ACM International Collegiate Programming Contest
  ☆162Updated 5 years ago
• glapul / contest_library
  A library to use at online programmming contests
  ☆35Updated 7 years ago
• OpenDSA / OpenDSA
  Working source for the OpenDSA eTextbook project
  ☆325Updated this week
• devashishd12 / WhatsApp-Analyser
  This is a full fledged whatsapp analyser intended to work on any conversation.
  ☆11Updated 4 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆120Updated this week
• ashishmh / geeksforgeeks
  Implementations of geeksforgeeks.org questions
  ☆13Updated 5 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆325Updated this week
• cz717 / bksol
  ☆10Updated 8 years ago
• szhu / cs189-cheatsheet
  CS 189 Machine Learning Cheat Sheet
  ☆21Updated 9 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆76Updated last year
• pathankhansalman / TopCoder
  Solutions to all SRMS Division II 250 and 500 point problems
  ☆13Updated 10 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆844Updated this week
• t3nsor / codebook
  Reference material for ACM-ICPC
  ☆449Updated 5 years ago
• iKevinY / EulerPy
  Python-based Project Euler command line tool.
  ☆547Updated 2 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆123Updated 7 years ago
• txt / ase16
  (Model-based) Automated Software Engineering
  ☆10Updated 7 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆228Updated 4 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 3 weeks ago