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
• janestreet / parallel
  OxCaml Parallelism
  ☆28Updated 2 weeks ago
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago
• askvortsov1 / hardcaml-mips
  ☆37Updated 3 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated last week
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated 11 months ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆31Updated last year
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated this week
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆128Updated 2 weeks ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆225Updated last week
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆243Updated 5 months ago
• cmsc330spring24 / cmsc330spring24
  ☆58Updated last year
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆95Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆145Updated last week
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆29Updated 2 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆70Updated this week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated last week
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆16Updated 8 months ago
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆22Updated last week
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆210Updated last week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated this week
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 4 months ago
• marovira / csc305_spring2020
  Official Course Site for CSc 305 Spring 2020
  ☆7Updated 5 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆309Updated this week