Alternatives and similar repositories for cmsc330fall21

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

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• cs61 / cs61-sections
  CS61 section material
  ☆26Updated 6 months ago
• dddrrreee / cs240lx-22spr
  cs240lx class repo. except in very rare cases, cs140e is a hard requirement.
  ☆24Updated 2 years ago
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 3 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆304Updated this week
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆18Updated last week
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆93Updated last year
• marovira / csc305_spring2020
  Official Course Site for CSc 305 Spring 2020
  ☆7Updated 5 years ago
• umd-cmsc330 / fall2022
  ☆31Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated last week
• jappavoo / UndertheCovers
  Under the Covers -- Jupyter Text Book
  ☆15Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆169Updated last week
• jzarnett / ece350
  ECE 350: Real-Time Operating Systems
  ☆23Updated last month
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆127Updated this week
• kekesh / CMSC216
  Ekesh Kumar's Summer 2019 Notes for CMSC216
  ☆27Updated 4 years ago
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆21Updated last week
• LeifAndersen / PLGradSchools
  ☆232Updated 9 months ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆97Updated 5 months ago
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• phate / jlm
  ☆63Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆92Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last week
• adityaxdiwakar / cs3510-notes
  CS 3510 TA Written Lecture Notes
  ☆29Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• illinois-cs241 / illinois-cs241.github.io
  CS 341 course website
  ☆30Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 6 years ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆149Updated 3 weeks ago
• jedavidson / comp6771-notes
  Summary notes from COMP6771 Advanced C++ Programming
  ☆14Updated 8 months ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated this week