Alternatives and similar repositories for TimetableGenerator

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

• se-edu / se-edu.github.io
  Resources for Software Engineering Education
  ☆17Updated last year
• banool / lectureDL
  ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️
  ☆14Updated 8 years ago
• qixin5 / DiffTGen
  ☆10Updated 5 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 3 years ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆46Updated last year
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated last week
• vegard / clsat
  OpenCL SAT solver
  ☆16Updated 14 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆20Updated 3 years ago
• purushottamkar / macer
  MACER: A Modular Framework for Accelerated Compilation Error Repair
  ☆14Updated 2 years ago
• duaraghav8 / soltar
  Generate Solidity Code from its AST
  ☆15Updated 9 years ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated last year
• raymondcho / RelationalDatabaseTools
  Source code for my online relational database tools calculator
  ☆76Updated 4 years ago
• nuclearpidgeon / UoM-Timetable-to-iCal
  Chrome Extension that converts the University of Melbourne student timetable page into an iCal file
  ☆19Updated 6 years ago
• contract-ace / smartace
  ☆17Updated 3 years ago
• aceraven777 / laravel-paymaya
  Integration of PayMaya to Laravel
  ☆18Updated 3 years ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 7 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 4 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆62Updated 2 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆71Updated 2 years ago
• Ultimanecat / DefectRepairing
  A tool for identifying patch correctness in test-based program repair
  ☆20Updated 5 years ago
• ASSERT-KTH / quixbugs-experiment
  Open-science repository on KTH's program repair experiment on the Quixbugs benchmark
  ☆12Updated 3 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆205Updated 4 months ago
• yamdraco / lalamove-js
  ☆11Updated 2 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆27Updated 2 weeks ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• ethereum / testeth
  One consensus test generator
  ☆11Updated 6 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆83Updated 7 months ago
• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 7 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago