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
• cmsc330spring24 / cmsc330spring24
  ☆58Updated last year
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆318Updated last week
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆32Updated 2 years ago
• CIS1900 / 2022-fall
  ☆12Updated last year
• jappavoo / UndertheCovers
  Under the Covers -- Jupyter Text Book
  ☆15Updated 2 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated last month
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆62Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆100Updated 9 months ago
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆40Updated 4 years ago
• ElNiak / awesome-formal-verification
  Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized coll…
  ☆61Updated 2 weeks ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆110Updated 3 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated this week
• clarksmr / sf-lectures
  Software Foundations
  ☆144Updated last year
• TUM-DSE / sys-lab
  Computer Systems Lab
  ☆11Updated 2 weeks ago
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆13Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆229Updated last month
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆191Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆410Updated last week
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated last year
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆855Updated this week
• ocamllibs / clangml
  OCaml bindings for Clang
  ☆18Updated 4 months ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆313Updated this week
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆22Updated last year
• tchajed / futex-tutorial
  ☆14Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated last week
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆134Updated this week