Alternatives and similar repositories for uoe_programmingclub

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

• hjalti / mossum
  Moss summarizer
  ☆194Updated 2 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 3 years ago
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆72Updated this week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆186Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆598Updated last month
• nael8r / How-To-Write-An-LLVM-Register-Allocator
  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
  ☆276Updated 6 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆290Updated last month
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆215Updated 6 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆95Updated last year
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆213Updated 7 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• illinois / queue
  A microservice queue for holding open office hours
  ☆86Updated 2 months ago
• jeanqasaur / academic-application-materials
  ☆126Updated 7 years ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆9Updated 3 years ago
• SamuelSchlesinger / Complexity-Resources
  Resources and notes on computational complexity theory
  ☆39Updated 5 years ago
• TellinaTool / nl2bash
  Generating bash command from natural language https://arxiv.org/abs/1802.08979
  ☆463Updated 10 months ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆404Updated last year
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆413Updated this week
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆76Updated 2 months ago
• hal3 / ciml
  A Course in Machine Learning
  ☆900Updated 2 years ago
• EngineeringSoftware / gobash
  Bash function library
  ☆23Updated 10 months ago
• ChrisCummins / ProGraML
  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
  ☆318Updated last year
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆72Updated 2 years ago
• sampsyo / cs6120
  advanced compilers
  ☆838Updated last week
• ChrisCummins / clgen
  Deep learning program generator
  ☆107Updated last year
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆435Updated this week