umd-cmsc330 / fall2022
☆29Updated last year
Related projects ⓘ
Alternatives and complementary repositories for fall2022
- ☆19Updated 3 years ago
- ☆18Updated 2 years ago
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!☆31Updated 2 years ago
- Ekesh Kumar's Summer 2019 Notes for CMSC216☆26Updated 3 years ago
- Functional programming and type systems☆119Updated 9 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- A simple ML-like programming language with subtyping and full type inference.☆164Updated 5 months ago
- i like taking notes ( "´༥`" )☆8Updated last year
- ☆223Updated 3 months ago
- CIS 6700, Spring 2023☆15Updated last year
- Alternative algorithm for algebraic subtyping.☆149Updated 2 weeks ago
- a proof-of-concept programming language based on Call-by-push-value☆49Updated this week
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- ☆23Updated last month
- Did someone say... scuffed UCSD historical enrollment data?☆38Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆172Updated this week
- A complete collection of my undergraduate notes☆30Updated 2 years ago
- Notes for some of my more interesting classes taken at UCSD.☆10Updated last year
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆194Updated 4 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆140Updated last week
- Staged compilation with dependent types☆163Updated 2 weeks ago
- deployment for smlhelp page☆36Updated last year
- ☆27Updated 2 years ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆278Updated this week
- course homepage for Introduction to Machine Learning☆27Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆50Updated last week