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
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆323Updated last week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆68Updated 2 years ago
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆137Updated this week
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Updated last week
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆120Updated 6 months ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆216Updated last week
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated 2 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆210Updated this week
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆97Updated last week
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆41Updated 4 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆79Updated 4 years ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆100Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆127Updated 11 months ago
• rocq-community / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
  ☆197Updated last week
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated last year
• askvortsov1 / hardcaml-mips
  ☆41Updated 3 years ago
• jappavoo / UndertheCovers
  Under the Covers -- Jupyter Text Book
  ☆15Updated 2 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆455Updated last week
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆212Updated 5 years ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated last month
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆34Updated 2 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago