Alternatives and similar repositories for uoe_programmingclub:

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

• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆252Updated last year
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆71Updated last week
• hjalti / mossum
  Moss summarizer
  ☆193Updated 2 years ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆84Updated 3 months ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆288Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆401Updated last year
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆187Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆73Updated 2 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 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.
  ☆66Updated 4 years ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆28Updated 4 months ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆77Updated last week
• kohler / hotcrp
  HotCRP conference review software
  ☆357Updated this week
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆32Updated 5 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆121Updated last week
• jeanqasaur / academic-application-materials
  ☆125Updated 7 years ago
• tobiasgrosser / islplot
  Library to plot integer sets and maps
  ☆49Updated 8 years ago
• ithemal / Ithemal
  Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
  ☆146Updated 3 years ago
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆35Updated 3 weeks ago
• chenhao-ye / cs537-sp21-discussion
  Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.
  ☆16Updated 4 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆69Updated 5 months ago
• fredfeng / CS292C
  ☆23Updated last week
• scholrly / dblp-python
  A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.
  ☆77Updated 3 years ago
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆354Updated 3 years ago