anwarmamat / cmsc330fall21Links
☆18Updated 4 years ago
Alternatives and similar repositories for cmsc330fall21
Users that are interested in cmsc330fall21 are comparing it to the libraries listed below
Sorting:
- ☆27Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- OxCaml Parallelism☆35Updated last month
- Software Foundations☆149Updated last year
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆195Updated 3 weeks ago
- The LLVM tutorial using OCaml☆34Updated 2 years ago
- Lean models of Rust libraries☆24Updated last year
- Visual Studio Code extension for Coq☆426Updated 3 weeks ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- Simple C Compiler in OCaml☆95Updated 7 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- Solutions to OCaml Programming☆90Updated 2 months ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A work-in-progress language and compiler for verified low-level programming☆322Updated 2 weeks ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.☆45Updated 4 years ago
- ☆351Updated 3 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆211Updated 5 years ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆224Updated 2 months ago
- Language for high-assurance and high-speed cryptography☆321Updated last week
- An SMT solver frontend for OCaml☆58Updated this week
- Lock-free data structures for multicore OCaml☆259Updated 7 months ago
- A minimal development of SSA theory☆202Updated last week
- A language server for Standard ML in Rust.☆233Updated 2 weeks ago
- Definition of the Viper intermediate verification language.☆92Updated last week
- ☆67Updated 3 months ago
- ☆12Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆95Updated last month
- Goose converts a subset of Go to Rocq☆135Updated this week