Alternatives and similar repositories for cmsc330spring22

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

• anwarmamat / cmsc330fall21
  ☆18Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated 11 months ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 7 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago
• janestreet / parallel
  OxCaml Parallelism
  ☆28Updated 2 weeks ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated last week
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 5 months ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆15Updated 5 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).
  ☆40Updated 2 weeks ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆11Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated last month
• zachgk / catln
  A high-level programming language
  ☆39Updated 5 months ago
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated last week
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• jappavoo / UndertheCovers
  Under the Covers -- Jupyter Text Book
  ☆15Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 5 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆70Updated this week
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last month
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆31Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago