Alternatives and similar repositories for master-thesis:

Users that are interested in master-thesis are comparing it to the libraries listed below

• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆24Updated 4 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 4 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆212Updated this week
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆171Updated this week
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 8 months ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆29Updated last month
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆54Updated last year
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• gbossert / pylstar
  An implementation of the LSTAR Grammatical Inference Algorithm
  ☆49Updated 10 months ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆213Updated last week
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆69Updated 10 months ago
• jan-dolejsi / pddl-reference
  A free and open guide to Planning Domain Definition Language to help you get started
  ☆18Updated 2 years ago
• eerimoq / pyfuzzer
  Fuzz test Python modules with libFuzzer
  ☆24Updated 2 years ago
• neilwalkinshaw / mintframework
  A framework for inference and testing of software behaviour.
  ☆12Updated last year
• L1NNA / jvd
  Disassembly Generation and Processing for JARV1S
  ☆13Updated 5 months ago
• src-d / gemini
  Advanced similarity and duplicate source code at scale.
  ☆55Updated 5 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 2 months ago
• TUDelft-CS4110 / syllabus
  Syllabus for CS4110 course at TU Delft
  ☆12Updated 8 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆143Updated last week
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆42Updated 8 months ago
• praseodym / learning-fuzzing
  Code from MSc thesis on combining learning and fuzzing
  ☆17Updated 6 years ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆56Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 6 months ago
• AlanHohn / antlr4-python
  ANTLR 4 examples in Python
  ☆40Updated 8 years ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆33Updated 3 weeks ago
• awslabs / aws-crypto-policy-compliance-checker
  A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
  ☆10Updated 3 years ago
• thiagopbueno / pypddl-parser
  Domain and problem PDDL parser in Python3 using ply.
  ☆12Updated 6 years ago