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
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 5 months ago
• askvortsov1 / hardcaml-mips
  ☆35Updated 2 years ago
• Mishio595 / disml
  Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.
  ☆44Updated 3 years ago
• ocamllibs / ocaml-in-python
  Effortless Python bindings for OCaml modules
  ☆52Updated 3 years ago
• fyquah / hardcaml_arty
  A hardcaml library to interface with arty boards
  ☆15Updated 2 years ago
• Raymo111 / cs135-drtools
  DrRacket Tools for CS 135 course at UWaterloo
  ☆26Updated 2 years ago
• clarksmr / sf-lectures
  Software Foundations
  ☆127Updated 11 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated last week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆93Updated 6 years ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆31Updated 3 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 3 months ago
• marovira / csc305_spring2020
  Official Course Site for CSc 305 Spring 2020
  ☆7Updated 5 years ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• cmsc330spring24 / cmsc330spring24
  ☆58Updated 11 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 8 months ago
• janestreet / pythonlib
  A library to help writing wrappers around ocaml code for python
  ☆99Updated 8 months ago
• Maknee / PennOS-hardware-wrapper
  Provides a wrapper to boot your penn-os on hardware!
  ☆10Updated 7 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated 2 weeks ago
• phate / jlm
  ☆60Updated this week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆141Updated 2 months ago
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆173Updated 3 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆304Updated last week
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆36Updated last year
• janestreet / hardcaml_circuits
  Hardcaml Circuits
  ☆19Updated 5 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• kekesh / CMSC216
  Ekesh Kumar's Summer 2019 Notes for CMSC216
  ☆27Updated 4 years ago