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 7 months ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆27Updated 2 years ago
• felipec / good-taste
  An illustration of good taste in code
  ☆13Updated last year
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆65Updated 2 months ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• smlnj / legacy
  This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆42Updated last week
• 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
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆86Updated this week
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆14Updated last week
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 5 months 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
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• ucsd-cse231-w21 / chocopy-wasm-compiler
  ☆17Updated 2 years ago
• prismlab / iitm_ocaml_reading_group
  OCaml reading group at IIT Madras
  ☆16Updated this week
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 7 years ago
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆21Updated 2 weeks ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆133Updated 4 years ago
• vkz / PLAI
  my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
  ☆9Updated 9 years ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆95Updated 6 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 11 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆79Updated 3 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago