Alternatives and similar repositories for cmsc330spring22

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

• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆89Updated last month
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆67Updated 4 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• CIS1900 / 2022-fall
  ☆12Updated last year
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆167Updated last week
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 2 months ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 4 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆81Updated last month
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆31Updated 6 months ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 13 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 months ago
• anwarmamat / cmsc330fall21
  ☆18Updated 3 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆30Updated last month
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 5 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 8 months ago
• clarksmr / sf-lectures
  Software Foundations
  ☆142Updated last year
• angrave / CS341-Lectures-SP24
  CS341 for Spring 2024
  ☆11Updated last year
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated last week
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago