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
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆56Updated 2 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆309Updated 2 weeks ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆212Updated last week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆87Updated this week
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆123Updated last week
• rems-project / cerberus
  Cerberus C semantics
  ☆63Updated last week
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆147Updated 9 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated last month
• jzarnett / ece155
  ECE 155 : Engineering Design with Embedded Systems
  ☆14Updated 9 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆84Updated 7 months ago
• logsem / iris-lecture-notes
  ☆13Updated 11 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆153Updated 2 weeks ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆55Updated 3 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆101Updated this week
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆205Updated last week
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆23Updated last year
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆53Updated last week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆115Updated this week
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆12Updated 2 years ago
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆49Updated this week
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆29Updated 5 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated last week
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 weeks ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆145Updated last week
• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆191Updated this week