Alternatives and similar repositories for cmsc330spring19-public:

Users that are interested in cmsc330spring19-public are comparing it to the libraries listed below

• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆72Updated 7 years ago
• UMD-CS-STICs / 389k-fall19
  ☆7Updated 2 years ago
• UMD-CS-STICs / 389Kspring19
  ☆8Updated 5 years ago
• umd-cmsc330 / fall2022
  ☆29Updated last year
• cs3157 / recitations
  Recitation notes for cs3157, the C systems programming course with a narrative
  ☆299Updated 2 years ago
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 3 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆165Updated last month
• alpha-convert / delta
  Implementation of the Delta Language
  ☆6Updated 10 months ago
• umdio / umdio
  An open API for the University of Maryland
  ☆102Updated last year
• anwarmamat / cmsc330fall20
  ☆34Updated 4 years ago
• COMP1511UNSW / dcc
  dcc - a C compiler which explains errors to novice programmers
  ☆157Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 6 months ago
• 602p / orth
  Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth
  ☆10Updated 6 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆90Updated 10 months ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆136Updated 4 years ago
• rudi-c / the-waterloo-blogger
  A compilation of blogs by Waterloo students and alumni
  ☆63Updated 4 years ago
• SamChou19815 / samlang
  Sam's Programming Language
  ☆37Updated 2 weeks ago
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated last month
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆126Updated this week
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆73Updated 5 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆66Updated 2 weeks ago
• emuzulu / isEven
  A new algorithm that determines whether an integer is even or not.
  ☆48Updated 6 months ago
• demetrios-koziris / McGillEnhanced
  Browser extension enhancing the functionality and navigability of McGill.ca
  ☆54Updated 3 weeks ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆102Updated last year
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆35Updated 5 years ago
• cobalt-uoft / cobalt
  Open data APIs for interfacing with public information from the University of Toronto.
  ☆98Updated 4 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• correctcomputation / checkedc-clang
  This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…
  ☆14Updated 2 years ago