umd-cmsc330 / fall2022

Related projects ⓘ

Alternatives and complementary repositories for fall2022

• anwarmamat / cmsc330fall21
  ☆18Updated 2 years ago
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆22Updated 8 months ago
• kekesh / CMSC131
  Course notes for CMSC 131: Object Oriented Programming I
  ☆27Updated last year
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆113Updated 3 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆50Updated this week
• azdavis / millet
  A language server for Standard ML.
  ☆217Updated last month
• litiwu / Spring-2021-Notes
  i like taking notes ( "´༥`" )
  ☆8Updated last year
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆161Updated 5 months ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆21Updated last month
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆21Updated last year
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆30Updated 2 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆41Updated last year
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆112Updated this week
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆72Updated 6 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆55Updated 10 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆49Updated this week
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆92Updated 2 years ago
• lexa-lang / lexa
  ☆22Updated last month
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆161Updated this week
• tuqqu / oxide-lang
  Oxide Programming Language
  ☆129Updated 2 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆17Updated last year
• planetterp / PlanetTerp
  a community for students at the university of maryland
  ☆41Updated 5 months ago
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 2 years ago
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆22Updated 2 weeks ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆116Updated 4 years ago
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆81Updated last week