cpsc411 / cpsc411-book
The WIP book for CPSC 411
☆64Updated this week
Alternatives and similar repositories for cpsc411-book
Users that are interested in cpsc411-book are comparing it to the libraries listed below
Sorting:
- Selected Papers of Dana S. Scott☆161Updated 10 months ago
- Notes and handouts from OPLSS 2019☆34Updated 5 years ago
- A compiler for functional programs on serialized data☆163Updated this week
- Educational Proof Assistant for Type Theory☆74Updated 9 months ago
- ☆232Updated 9 months ago
- A Verified Compiler for Gallina, Written in Gallina☆149Updated 3 weeks ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated 2 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆50Updated 2 years ago
- A deterministic parser with fused lexing☆72Updated last year
- Coq library for tactics, basic definitions, sets, maps☆47Updated this week
- Hoare Type Theory☆75Updated last week
- A custom parser/auto-formatter for Standard ML☆76Updated last week
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Gallina to Bedrock2 compilation toolkit☆54Updated this week
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆164Updated 3 years ago
- PL conference deadline countdowns☆60Updated last month
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- A monadic library for symbolic evaluation☆60Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Coq plugin embedding elpi☆166Updated last week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆141Updated 6 months ago
- Collapsing Towers of Interpreters☆91Updated last year
- Web page for IU Compiler Course for Fall 2020☆131Updated 4 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆125Updated last year
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆257Updated 2 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 3 months ago