anwarmamat / cmsc330spring2024
Lecture notes and examples for the CMSC330 Spring 2024
☆15Updated 3 weeks ago
Alternatives and similar repositories for cmsc330spring2024:
Users that are interested in cmsc330spring2024 are comparing it to the libraries listed below
- ☆15Updated 9 months ago
- This repository contains the compiler we are building in class, and supporting libraries, updated after each class.☆7Updated last year
- ☆12Updated 5 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated last month
- Programming Languages course repository☆10Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated 2 months ago
- A programming language for gastropods☆12Updated 8 months ago
- CSE 232 - Introduction to Programming II at Michigan State University☆9Updated last month
- This repo contains basic Ocaml code examples.☆11Updated 8 years ago
- ☆15Updated 9 years ago
- ☆59Updated 9 months ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 4 months ago
- A toy dependent typed language.☆28Updated this week
- An implementation of the Lox language in Racket.☆33Updated last year
- Repository for Computer Architecture Class at UC Berkeley☆8Updated 5 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆17Updated last month
- Cicada Language (PLCT little team)☆92Updated last month
- The Beauty and Joy of Computing public resource repository.☆31Updated 10 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated 2 weeks ago
- lambda calculus interpreter☆39Updated 3 years ago
- ☆19Updated last year
- Large Scale Type Systems (programming language)☆118Updated last month
- Pocket sized programs☆55Updated 2 weeks ago
- Claro Lang☆141Updated 9 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 3 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆25Updated 7 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago