umd-cmsc330 / cmsc330spring22
☆27Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cmsc330spring22
- ☆18Updated 2 years ago
- A blog of Programming Languages Group @Purdue☆10Updated last week
- CMSC 430 Design and Implementation of Programming Languages☆47Updated this week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 3 months ago
- CS 704 course website - Principles of Programming Languages☆68Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆38Updated 4 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- A small λ-calculus interpreter in C☆49Updated 10 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 4 years ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- deployment for smlhelp page☆36Updated last year
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆34Updated last week
- Course web page for Fall 2021.☆21Updated 2 years ago
- An illustration of good taste in code☆10Updated 3 months ago
- Program synthesis class taught by Loris D'Antoni☆20Updated last month
- Solutions to OCaml Programming☆69Updated 3 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- Mathematical notes and papers☆25Updated 2 months ago