Alternatives and similar repositories for TimetableGenerator

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

• algorithms-are-fun / amoffat-fan-page
  Alistair Moffat fan page
  ☆16Updated 3 years ago
• vegard / clsat
  OpenCL SAT solver
  ☆16Updated 14 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
• purushottamkar / macer
  MACER: A Modular Framework for Accelerated Compilation Error Repair
  ☆14Updated 2 years ago
• qixin5 / DiffTGen
  ☆10Updated 5 years ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆46Updated last year
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated last year
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆20Updated 3 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆99Updated 2 years ago
• ProgramRepair / IntroClass
  The IntroClass benchmark. http://repairbenchmarks.cs.umass.edu/
  ☆17Updated 9 years ago
• isstac / badger
  ☆20Updated 6 years ago
• ASSERT-KTH / quixbugs-experiment
  Open-science repository on KTH's program repair experiment on the Quixbugs benchmark
  ☆12Updated 3 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated 2 years ago
• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 7 years ago
• duaraghav8 / soltar
  Generate Solidity Code from its AST
  ☆15Updated 9 years ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 8 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 3 years ago
• contract-ace / smartace
  ☆18Updated 3 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆50Updated 2 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆83Updated 8 months ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• eth-sri / verx-benchmarks
  ☆20Updated 6 years ago
• ethereum / testeth
  One consensus test generator
  ☆11Updated 7 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 last month
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• glemmaPaul / socket-io-mock
  A mock to test the socket.io library implementation
  ☆11Updated 9 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated 3 weeks ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated this week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 5 months ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆251Updated this week