Alternatives and similar repositories for uoe_programmingclub:

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

• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆70Updated 2 weeks ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆248Updated 11 months ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆12Updated this week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆139Updated 3 weeks ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆388Updated 2 months ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated 2 months ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆70Updated last year
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆35Updated this week
• dhil / inf-thesis-latex-cls
  A LaTeX Class for Informatics theses at The University of Edinburgh
  ☆31Updated 2 years ago
• florianschanda / smtlib_schanda
  SMTLIB benchmarks assembled by Florian Schanda
  ☆8Updated 4 years ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆67Updated 4 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• chao-peng / CLFuzz
  ☆9Updated 4 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆21Updated last year
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• groggi / eth-algolab
  My solutions for Algorithms Lab, ETH Zurich, AS14
  ☆19Updated 10 years ago
• asolarlez / sketch-frontend
  ☆34Updated 4 months ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆68Updated 5 years ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆8Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• nusdistsys / NUS_DYOM
  This is a catalogue of all past and present NUS DYOMS
  ☆9Updated 3 years ago
• illinois / queue
  A microservice queue for holding open office hours
  ☆82Updated last week
• wu-qing-157 / Anonymous
  ☆9Updated 4 years ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆23Updated 11 months ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 5 months ago
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆513Updated this week