Alternatives and similar repositories for cpsc411-book

Users that are interested in cpsc411-book are comparing it to the libraries listed below

• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆168Updated 4 years ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆122Updated 4 months ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆85Updated this week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆152Updated 2 months ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆76Updated 2 weeks ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆232Updated 2 weeks ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆267Updated last year
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 4 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆63Updated this week
• UniMath / Schools
  ☆86Updated 2 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆114Updated 3 weeks ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated 2 weeks ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated last week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated last month
• rocq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆76Updated 5 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated last month
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆169Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆62Updated last week
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆223Updated last week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆56Updated this week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆127Updated last year