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.
  ☆71Updated 3 weeks ago
• LeifAndersen / PLGradSchools
  ☆228Updated 7 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆73Updated 2 years ago
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆35Updated last week
• ChrisCummins / clgen
  Deep learning program generator
  ☆106Updated last year
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆250Updated last year
• 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
• nspring / style-check
  Style checker for latex documents
  ☆50Updated last year
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• ithemal / Ithemal
  Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
  ☆145Updated 3 years ago
• amosstorkey / iaml-labs
  IAML Labs student repository
  ☆17Updated 4 years ago
• danwallach / github-classroom-utils
  Python tools for instructors working with GitHub Classroom
  ☆89Updated last year
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆655Updated 9 months ago
• qqq-wisc / wisq
  ☆18Updated 3 weeks ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated 3 months 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
• t3nsor / us-immigration-faq
  US immigration FAQ with a focus on the tech industry
  ☆109Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆370Updated 2 weeks ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆59Updated 2 years ago
• ChrisLidbury / CLSmith
  OpenCL extension for csmith.
  ☆24Updated 7 years ago
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆22Updated 2 years ago
• neboat / cilkbench
  Cilk application benchmark programs
  ☆10Updated 2 years ago
• ccannon94 / github-classroom-utilties
  A collection of scripts developed for teachers and TAs administrating GitHub Classroom assignments.
  ☆46Updated 4 years ago
• hjalti / mossum
  Moss summarizer
  ☆192Updated 2 years ago
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆32Updated 4 months ago
• chenhao-ye / cs537-sp21-discussion
  Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.
  ☆16Updated 3 years ago