Alternatives and similar repositories for cmsc330fall21:

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

• planetterp / PlanetTerp
  a community for students at the university of maryland
  ☆41Updated 8 months ago
• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• umd-cmsc330 / fall2022
  ☆30Updated last year
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆72Updated 7 years ago
• clarksmr / sf-lectures
  Software Foundations
  ☆118Updated 9 months ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆123Updated this week
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆356Updated this week
• juniorxxue / learn-plt-redex
  Resources for Learning PLT Redex
  ☆10Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆27Updated last year
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• cmsc330fall23 / cmsc330fall23
  ☆50Updated last year
• vijay03 / cs380d-s21
  UT Austin CS 380D Distributed Systems with Vijay Chidambaram
  ☆20Updated 3 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆80Updated 2 weeks ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆234Updated 3 weeks ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆22Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆59Updated this week
• anwarmamat / cmsc330fall20
  ☆34Updated 4 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆301Updated last week
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆15Updated last year
• askvortsov1 / hardcaml-mips
  ☆34Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated last month
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆91Updated 6 years ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆187Updated last week
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆19Updated 2 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 6 months ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆85Updated 6 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆129Updated last month
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆49Updated 10 months ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆49Updated 5 months ago