Alternatives and similar repositories for cmsc330fall21

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

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 3 years ago
• jappavoo / UndertheCovers
  Under the Covers -- Jupyter Text Book
  ☆15Updated 2 years ago
• jzarnett / ece155
  ECE 155 : Engineering Design with Embedded Systems
  ☆14Updated 10 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆319Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆134Updated last week
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆223Updated last month
• clarksmr / sf-lectures
  Software Foundations
  ☆147Updated last year
• cmsc330spring24 / cmsc330spring24
  ☆58Updated last year
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆21Updated 4 years ago
• tchajed / futex-tutorial
  ☆14Updated last year
• TUM-DSE / sys-lab
  Computer Systems Lab
  ☆11Updated last month
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆197Updated last week
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆64Updated 2 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆208Updated last week
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆101Updated 10 months ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• phate / jlm
  ☆72Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆75Updated 2 weeks ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 5 months ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated last month
• janestreet / parallel
  OxCaml Parallelism
  ☆34Updated last week
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆90Updated last month
• dimashenme / trivium
  An English translation of a problem course ("Trivium") in undergraduate maths
  ☆10Updated 2 years ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆574Updated this week
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆862Updated last week