Alternatives and similar repositories for master-thesis

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

• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 10 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 11 months ago
• cmu-sei / eraces
  Tools to identify complexity in software models (e.g., SCADE, AADL).
  ☆12Updated 9 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• opencode18 / OpenCode-Collaborative
  Best place to start Open Source and learn development.
  ☆84Updated 7 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated 10 months ago
• tushartushar / DbDeo
  Database smell detector
  ☆13Updated 7 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆148Updated last week
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆25Updated last month
• zeroc0d3lab / awesome-scalability
  Daily-updated reading list for designing High Scalability , High Availability , High Stability back-end systems - Pull requests are gre…
  ☆14Updated 2 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated 3 weeks ago
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆18Updated 7 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 7 months ago
• fabiospampinato / awesome-template
  Curated list of templates for Template.
  ☆18Updated last year
• AFLplusplus / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆8Updated last year
• itmaster921 / monitoring
  Server monitoring and data-collection daemon
  ☆10Updated 6 years ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆31Updated 6 months ago
• isse-augsburg / minibrass
  Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc
  ☆17Updated 2 years ago
• godaddy / pullie
  A GitHub bot that makes your PRs better
  ☆20Updated last month
• mhlakhani / halwa
  Single file static site generator written in Python
  ☆14Updated 11 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 7 months 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
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated 2 years ago
• TUDelft-CS4110 / syllabus
  Syllabus for CS4110 course at TU Delft
  ☆12Updated 9 years ago
• 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
• openfaas / social-functions
  Enabling social media for OpenFaaS
  ☆10Updated last year
• marcofavorito / python-project-template
  Yet another Python project template.
  ☆13Updated 9 months ago
• devrimdemiroz / opentelemetry-browser
  Traced chrome browser via Selenium Chrome Devtools reporting traces via grafana agent with otlp
  ☆13Updated 2 years ago