Alternatives and similar repositories for TimetableGenerator

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

• vegard / clsat
  OpenCL SAT solver
  ☆16Updated 14 years ago
• algorithms-are-fun / amoffat-fan-page
  Alistair Moffat fan page
  ☆16Updated 2 years ago
• se-edu / se-edu.github.io
  Resources for Software Engineering Education
  ☆17Updated last year
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆17Updated 11 months ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• banool / lectureDL
  ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️
  ☆14Updated 7 years ago
• coldmanck / CS5242-Neural-Network-and-Deep-Learning-Assignments
  Assignments of CS5242 Neural Network and Deep Learning (2017 Fall) at NUS.
  ☆26Updated 6 years ago
• purushottamkar / macer
  MACER: A Modular Framework for Accelerated Compilation Error Repair
  ☆14Updated 2 years ago
• smartbugs / smartbugs-dashboard
  DEPRECATED: Web-based User Interface for SmartBugs
  ☆11Updated 2 years ago
• duaraghav8 / soltar
  Generate Solidity Code from its AST
  ☆15Updated 8 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated last year
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 7 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• WNJXYK / JLU_DSD
  A Project For Distributed Software Development Course.
  ☆8Updated 5 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆95Updated last year
• CircuitCoder / MeowThink
  A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
  ☆17Updated 3 years ago
• kframework / solidity-semantics
  Semantics of Solidity in K
  ☆30Updated 5 years ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆46Updated last year
• vietlq / smart-contract-audit
  Guide to auditing EVM smart contracts using tools
  ☆22Updated 2 years ago
• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• lgarron / crypto.graphics
  crypto.graphics
  ☆28Updated 5 years ago
• shellygr / ECFChecker
  A dynamic checker for the ECF property incorporated into geth
  ☆15Updated 7 years ago
• chao-peng / CLFuzz
  ☆9Updated 5 years ago
• qixin5 / DiffTGen
  ☆9Updated 5 years ago
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆187Updated 2 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆31Updated last year
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• UBC-STAT / stat-406
  Generates the student-facing Stat406 website
  ☆12Updated 7 months ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 5 months ago
• ASSERT-KTH / quixbugs-experiment
  Open-science repository on KTH's program repair experiment on the Quixbugs benchmark
  ☆12Updated 3 years ago