Alternatives and similar repositories for uoe_programmingclub

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

• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆66Updated 4 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆72Updated this week
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆84Updated 4 months ago
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆35Updated 2 months ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago
• kohler / hotcrp
  HotCRP conference review software
  ☆358Updated this week
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆143Updated 2 months ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• qqq-wisc / wisq
  ☆20Updated this week
• UDC-GAC / gem5-spm
  Very basic implementation of SPM for gem5 simulator (legacy gem5 version)
  ☆12Updated 5 years ago
• SwarmArch / T4
  Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"
  ☆28Updated 3 years ago
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆187Updated 2 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 9 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• tjt7a / AutomataZoo
  Automata Benchmark Suite
  ☆22Updated last year
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆92Updated 11 months ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆49Updated 8 years ago
• adamtiger / tinyGPUlang
  Tutorial on building a gpu compiler backend in LLVM
  ☆29Updated 4 months ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 10 months ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆76Updated last month
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆197Updated 7 months ago
• emeryberger / PC-Resources
  Resources for conference program chairs, especially in systems/PL areas of computer science.
  ☆11Updated 2 years ago
• SamuelSchlesinger / Complexity-Resources
  Resources and notes on computational complexity theory
  ☆39Updated 5 years ago