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.
  ☆72Updated this week
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆187Updated 2 years ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆84Updated 4 months ago
• tjt7a / AutomataZoo
  Automata Benchmark Suite
  ☆22Updated last year
• scholrly / dblp-python
  A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.
  ☆77Updated 3 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 3 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆520Updated 3 months ago
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆402Updated last year
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆196Updated 6 months ago
• groggi / eth-algolab
  My solutions for Algorithms Lab, ETH Zurich, AS14
  ☆19Updated 10 years ago
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆32Updated 6 months ago
• MrSidims / PytorchExplorer
  An interactive web-based tool for exploring intermediate representations of PyTorch and Triton models
  ☆43Updated this week
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆73Updated 2 years ago
• jeanqasaur / research-group-resources
  Resources for people running research groups.
  ☆206Updated 7 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆22Updated 2 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆287Updated last week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆409Updated 5 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆86Updated 3 years ago
• ChrisCummins / clgen
  Deep learning program generator
  ☆107Updated last year
• LeifAndersen / PLGradSchools
  ☆232Updated 9 months ago
• kohler / hotcrp
  HotCRP conference review software
  ☆359Updated this week
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆465Updated 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