Alternatives and similar repositories for cmsc330spring19-public

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

• 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
• UMD-CS-STICs / 389k-fall19
  ☆7Updated 2 years ago
• anwarmamat / cmsc330fall20
  ☆34Updated 4 years ago
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• SamChou19815 / samlang
  Sam's Programming Language
  ☆39Updated this week
• umd-cmsc330 / fall2022
  ☆31Updated 2 years ago
• umdio / umdio
  An open API for the University of Maryland
  ☆103Updated last year
• UMD-CS-STICs / 389Kspring19
  ☆8Updated 6 years ago
• anwarmamat / cmsc330fall21
  ☆18Updated 3 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated this week
• cmsc320 / spring2021
  Assignments for CMSC320 during the Spring 2021 Semester
  ☆9Updated 4 years ago
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 4 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆172Updated 5 months ago
• fredfeng / CS190I
  Program Synthesis
  ☆15Updated 3 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated last week
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆168Updated 4 years ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• planetterp / PlanetTerp
  a community for students at the university of maryland
  ☆43Updated 11 months ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 4 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆88Updated 8 years ago
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆102Updated this week
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• osa1 / parsegen
  An LR parser generator, implemented as a proc macro
  ☆16Updated 2 years ago