Alternatives and similar repositories for 507:

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

• fhackett / cpsc490
  cpsc490 - A seminar on programming practice; workshops and materials
  ☆10Updated 6 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆201Updated 3 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆66Updated 6 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆222Updated this week
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 5 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last week
• paramminhas / star
  another github hack
  Updated 8 years ago
• dspinellis / awesome-msr
  A curated repository of software engineering repository mining data sets
  ☆433Updated 4 years ago
• colefichter / Tiger-Compiler
  My progress working through Modern Compiler Implementation in Java, by Andrew W. Appel (http://www.cs.princeton.edu/~appel/modern/java/)
  ☆25Updated 12 years ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆45Updated last year
• xsznix / js-y86
  y86 simulator and assembler written in Javascript.
  ☆33Updated 6 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• ds4se / chapters
  Perspectives on Data Science for Software Engineering
  ☆61Updated 2 years ago
• zachlatta / try
  try repos you find online
  ☆26Updated 7 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆238Updated 2 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 5 months ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆24Updated 10 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆46Updated 8 years ago
• rems-project / reviewing-good-and-bad-reasons
  ☆12Updated 3 years ago
• wchargin / lc3
  JavaScript implementation of LC-3 microcomputer
  ☆8Updated 7 years ago
• kennyledet / MacDevelopmentSetupGuidelines
  Disclaimer: These are actions and applications I believe to be the best for setting up an optimal development environment are extensions …
  ☆21Updated 10 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• VittGam / JSTMSimulator
  A Turing Machine simulator written in JavaScript.
  ☆23Updated 6 years ago
• mbad0la / MiniGitHub
  [end-of-life] A add-on that keeps you in sync with your Github Account
  ☆27Updated 7 years ago