Alternatives and similar repositories for fall2022

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

• kekesh / CMSC132
  Lecture Notes for CMSC132: Object Oriented Programming II
  ☆35Updated last year
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• planetterp / PlanetTerp
  a community for students at the university of maryland
  ☆44Updated last year
• anwarmamat / cmsc330fall21
  ☆18Updated 3 years ago
• kekesh / CMSC131
  Course notes for CMSC 131: Object Oriented Programming I
  ☆27Updated last year
• geelon / type-theory
  Type Theory
  ☆20Updated 8 years ago
• kekesh / CMSC216
  Ekesh Kumar's Summer 2019 Notes for CMSC216
  ☆28Updated 4 years ago
• UCSD-Historical-Enrollment-Data / UCSDHistEnrollData
  Did someone say... scuffed UCSD historical enrollment data?
  ☆42Updated 2 weeks ago
• kila097 / CS246_Notes
  CS246 course notes from the university of waterloo (Winter 2022)
  ☆19Updated 2 years ago
• tsani / eval
  An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
  ☆10Updated last year
• V-Wong / COMP3821
  COMP3821: Extended Algorithms and Programming Techniques (UNSW) Study Notes
  ☆16Updated 2 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆30Updated last year
• cmsc330fall23 / cmsc330fall23
  ☆48Updated last year
• aurora-pl / aurora
  The Aurora Programming Language
  ☆37Updated last year
• domdomegg / ottie
  🎓 Web app to help teach HM type inference
  ☆15Updated last month
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆146Updated this week
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• alaiasolkobreslin / CoC
  ☆9Updated 3 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 2 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• Traumatism / maeel
  The maeel programming language
  ☆21Updated 2 months ago
• tiny-bow / ribbon-language
  Ribbon programming language
  ☆15Updated this week
• startrekdude / aoc-2022
  My Advent of Code 2022 Solutions
  ☆11Updated 2 years ago
• jwshii / etna
  ☆11Updated 3 weeks ago
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆45Updated last year
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆124Updated 2 weeks ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆195Updated last week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆203Updated 9 months ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last month