juniorxxue / learn-plt-redexLinks
Resources for Learning PLT Redex
☆11Updated 4 years ago
Alternatives and similar repositories for learn-plt-redex
Users that are interested in learn-plt-redex are comparing it to the libraries listed below
Sorting:
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆25Updated 2 years ago
- Hoare Type Theory☆78Updated 3 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 2 weeks ago
- Personal research notes☆17Updated 11 months ago
- Most influential papers in programming languages☆57Updated 8 months ago
- A verified polyhedral scheduling validator in Coq.☆22Updated 11 months ago
- EGraphs in OCaml☆74Updated last year
- Rocqet proof language☆22Updated last month
- Formalizations of Gradually Typed Languages in Agda☆57Updated 7 months ago
- Coq library for tactics, basic definitions, sets, maps☆49Updated 2 weeks 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
- Cerberus C semantics☆69Updated last month
- Definition of the Viper intermediate verification language.☆89Updated this week
- Gallina to Bedrock2 compilation toolkit☆59Updated last week
- Coq plugin embedding elpi☆174Updated this week
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 8 months ago
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 7 months ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Selected Papers of Dana S. Scott☆163Updated last year
- An interactive theorem prover based on lambda-tree syntax☆96Updated 4 months ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆54Updated last month
- a proof-of-concept programming language based on call-by-push-value☆55Updated last week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Parallel ML benchmark suite☆18Updated 3 weeks ago
- Conference on Homotopy Type Theory 2023☆13Updated last year
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated last month