cpsc411 / cpsc411-bookLinks
The WIP book for CPSC 411
☆66Updated 2 months ago
Alternatives and similar repositories for cpsc411-book
Users that are interested in cpsc411-book are comparing it to the libraries listed below
Sorting:
- Educational Proof Assistant for Type Theory☆75Updated last year
- ☆233Updated last year
- SKI combinators☆55Updated 8 years ago
- Course on Metaprogramming☆73Updated 2 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated last week
- Collapsing Towers of Interpreters☆91Updated 2 months ago
- Mystery Languages☆40Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆115Updated this week
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- Gallina to Bedrock2 compilation toolkit☆59Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- A compiler for functional programs on serialized data☆167Updated this week
- Slog 1.0☆43Updated last year
- A custom parser/auto-formatter for Standard ML☆80Updated last month
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Hoare Type Theory☆78Updated 3 months ago
- A collection of programming languages and type systems.☆33Updated 4 months ago
- Modeling and Proving in Computational Type Theory☆115Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 2 months ago
- Selected Papers of Dana S. Scott☆162Updated last year
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆76Updated 8 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- A Verified Compiler for Gallina, Written in Gallina☆153Updated last month
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- EGraphs in OCaml☆73Updated last year
- Notes and handouts from OPLSS 2019☆34Updated 6 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 7 months ago