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…
  ☆65Updated 2 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆35Updated last month
• clarksmr / sf-lectures
  Software Foundations
  ☆149Updated last year
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆195Updated 3 weeks ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆34Updated 2 years ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆24Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆426Updated 3 weeks ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆90Updated 2 months ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆322Updated 2 weeks ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• Mishio595 / disml
  Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.
  ☆45Updated 4 years ago
• ccz181078 / Coq-BB5
  ☆351Updated 3 months ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆211Updated 5 years ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆224Updated 2 months ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆321Updated last week
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆58Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆259Updated 7 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆202Updated last week
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆233Updated 2 weeks ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated last week
• logsem / iris-tutorial
  ☆67Updated 3 months ago
• CIS1900 / 2022-fall
  ☆12Updated last year
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆95Updated last month
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆135Updated this week