umd-cmsc330 / fall2022
☆31Updated 2 years ago
Alternatives and similar repositories for fall2022:
Users that are interested in fall2022 are comparing it to the libraries listed below
- Native language with Rust & LLVM☆69Updated last year
- Functional programming and type systems☆127Updated 9 years ago
- ☆18Updated 3 years ago
- A garden of small programming language implementations 🪴☆219Updated last week
- ☆19Updated 4 years ago
- Lecture Notes for CMSC132: Object Oriented Programming II☆36Updated last year
- The LLVM tutorial using OCaml☆28Updated last year
- Compiler from C to brainfuck☆226Updated last year
- A functional programming language with shell scripting capabilities☆114Updated 3 months ago
- Simple expression transformer that is not Coq.☆258Updated last year
- Build your own - linker☆194Updated 4 years ago
- A template that meets the requirements of a math work term report for the faculty of math☆30Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 4 months ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 2 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- Contextual types meet mechanized metatheory!☆188Updated 8 months ago
- Staged compilation with dependent types☆171Updated this week
- Exercises and projects for Jane Street's OCaml Workshop☆605Updated 3 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆119Updated 8 months ago
- (WIP) A programming language☆42Updated 3 months ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆45Updated 10 months ago
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated 3 weeks ago
- A rust implementation of the lox language☆104Updated 10 months ago
- deployment for smlhelp page☆39Updated 3 weeks ago
- A toy programming language based on Lisp and built in Rust & LLVM☆43Updated 4 years ago
- An educational data structures and algorithms platform.☆30Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆46Updated 2 years ago
- A C-like native programming language☆9Updated 2 years ago
- An open-source website built to simplify the experience of searching courses and building timetables for the University of Victoria.☆41Updated 9 months ago
- CS246 course notes from the university of waterloo (Winter 2022)☆18Updated 2 years ago