Alternatives and similar repositories for cmsc330fall21:

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

• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 7 months ago
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆113Updated last week
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆41Updated 4 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆25Updated last year
• logsem / iris-lecture-notes
  ☆13Updated 8 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆83Updated last week
• INRIA / velus
  A Lustre compiler in Coq
  ☆66Updated 3 weeks ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆28Updated last year
• askvortsov1 / hardcaml-mips
  ☆34Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• clarksmr / sf-lectures
  Software Foundations
  ☆127Updated 11 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated 2 weeks ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆49Updated 11 months ago
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated last month
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆117Updated last month
• smlhelp / book
  deployment for smlhelp page
  ☆39Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆92Updated 6 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆140Updated 5 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 2 months ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆15Updated 2 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆140Updated last month
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 6 years ago
• rocq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆48Updated 3 years ago
• umd-cmsc330 / fall2022
  ☆31Updated 2 years ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆91Updated 8 months ago