zkotti / cosmos-tour

Related projects ⓘ

Alternatives and complementary repositories for cosmos-tour

• zkotti / fun-in-lockdown
  A list of fun (and safe) activities for lockdowns
  ☆22Updated 3 years ago
• dmst-algorithms-course / assignment-2023-1
  First assignment for 2023.
  ☆9Updated last year
• algoholics-ntua / Tech-Internships
  Available Resources for S.W.E Internships - Applications and Preparation Resources
  ☆22Updated 4 years ago
• AntonisGkortzis / UnitTestingDemoProject
  This is a Java project serving as a brief demonstration for Unit Testing and Continuous Integration services
  ☆11Updated 3 years ago
• UniStudents / unistudents-app
  🎓 The best way to track your academic progress!
  ☆89Updated 2 months ago
• tushartushar / theGreekLegacy
  The Greek Legacy
  ☆14Updated 4 years ago
• RepoReapers / reaper
  Calculate the score of a repository based on best engineering practices.
  ☆107Updated 4 years ago
• zkotti / gfoss_article_by_dmst
  Article for the GFOSS - Open Technologies Alliance by DMST students
  ☆11Updated 6 years ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 3 months ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆294Updated 2 weeks ago
• AUEB-BALab / ExamQuestionnaireScanner
  A Python tool used for parsing exam questionnaires
  ☆15Updated last month
• seart-group / DL4SE
  Building Training Datasets for Deep Learning Models in Software Engineering and Empirical Software Engineering Research
  ☆19Updated 4 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 2 years ago
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆21Updated this week
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month
• woc-hack / tutorial
  ☆50Updated last month
• bvasiles / ght_unmasking_aliases
  ☆12Updated 4 months ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆30Updated 2 years ago
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• papachristoumarios / jupyter-greek-latex
  Export Jupyter Notebooks to (Xe)LaTeX with Greek Support
  ☆12Updated 6 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆167Updated this week
• SeUniVr / RestTestGen
  A framework for automated black-box testing of RESTful APIs.
  ☆39Updated 7 months ago
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated 10 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆49Updated this week
• cvrac / master-thesis
  Master Thesis text, University of Athens
  ☆9Updated 5 years ago
• seart-group / ghs
  GitHub Search: Platform used to crawl, store and present projects from GitHub, as well as any statistics related to them
  ☆144Updated this week
• qixin5 / DiffTGen
  ☆9Updated 4 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 3 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆66Updated this week
• ecnusse / Kea
  Property-based Testing for Mobile GUI Apps
  ☆33Updated this week