Alternatives and similar repositories for fall2022

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

• anwarmamat / cmsc330fall21
  ☆18Updated 3 years ago
• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆261Updated last year
• litiwu / Spring-2021-Notes
  i like taking notes ( "´༥`" )
  ☆8Updated 2 years ago
• kila097 / CS246_Notes
  CS246 course notes from the university of waterloo (Winter 2022)
  ☆20Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆268Updated this week
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems (programming language)
  ☆124Updated last month
• KidneyOS / KidneyOS
  Rust-based toy operating system
  ☆17Updated 5 months ago
• kekesh / CMSC131
  Course notes for CMSC 131: Object Oriented Programming I
  ☆27Updated last year
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• kekesh / CMSC216
  Ekesh Kumar's Summer 2019 Notes for CMSC216
  ☆29Updated 4 years ago
• vinlin24 / cs35l-notebooks
  Backup of my digital notebooks for my F22 CS 35L class.
  ☆33Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆177Updated last month
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆125Updated last month
• kolemannix / k1
  A hobby programming language
  ☆44Updated this week
• alaiasolkobreslin / CoC
  ☆9Updated 3 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆36Updated 3 weeks ago
• Champii / Rock
  Native language with Rust & LLVM
  ☆69Updated last year
• DuskyElf / todo-css
  A ToDo app made in pure HTML and CSS without using JS
  ☆32Updated 2 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆106Updated 3 weeks ago
• cmsc330fall23 / cmsc330fall23
  ☆48Updated last year
• SimplifyJobs / New-Grad-Positions
  A collection of full time roles in SWE, Quant, and PM for new grads.
  ☆13,338Updated this week
• geelon / type-theory
  Type Theory
  ☆22Updated 8 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆156Updated 5 years ago
• umd-cmsc330 / cmsc330spring22
  ☆27Updated 3 years ago
• cmsc330fall24 / fall2024
  ☆26Updated 6 months ago
• phoenixsense / CS500
  ☆35Updated 7 years ago
• bsovs / Fall2025-Internships
  Collection of Fall 2025 tech internships!
  ☆1,302Updated last month
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆200Updated last week
• AkiPraveen / 216-notes
  Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…
  ☆13Updated 5 years ago