cpsc411 / cpsc411-bookLinks
The WIP book for CPSC 411
☆66Updated last month
Alternatives and similar repositories for cpsc411-book
Users that are interested in cpsc411-book are comparing it to the libraries listed below
Sorting:
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- ☆233Updated last year
- Course on Metaprogramming☆72Updated last month
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- Mystery Languages☆38Updated last year
- Gallina to Bedrock2 compilation toolkit☆59Updated last week
- Educational Proof Assistant for Type Theory☆74Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆153Updated 3 weeks ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Hoare Type Theory☆77Updated 2 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- Collapsing Towers of Interpreters☆91Updated 2 months 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
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 7 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Modeling and Proving in Computational Type Theory☆103Updated 3 weeks ago
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- Selected Papers of Dana S. Scott☆162Updated last year
- Formalizations of Gradually Typed Languages in Agda☆57Updated 6 months ago
- ☆56Updated 4 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆148Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆148Updated 10 months ago
- A collection of programming languages and type systems.☆33Updated 3 months ago
- Convert Haskell source code to Coq source code.☆86Updated 2 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 6 months ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- ☆138Updated 3 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆27Updated 2 years ago