jeanqasaur / cmu-15316-spring17

Related projects: ⓘ

• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆31Updated 6 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆20Updated 3 months ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 7 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆36Updated this week
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆20Updated 7 months ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆25Updated 3 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆47Updated 7 months ago
• RobertHarper / hott-materials
  ☆20Updated this week
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• ISANobody / sill
  ☆28Updated 9 years ago
• bobatkey / CS316-17
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆13Updated last year
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆47Updated 5 years ago
• jonsterling / type-theory-and-its-meaning-explanations
  ☆61Updated this week
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆40Updated 6 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 4 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 6 years ago
• TikhonJelvis / imp
  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
  ☆17Updated 8 years ago
• OPLSS / oplss-notes-2017
  handouts and notes from the 2017 edition of the summer school
  ☆39Updated 7 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆33Updated 7 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 12 years ago
• bobatkey / interactive-natural-deduction
  An editor for interactively building natural deduction proofs
  ☆20Updated 5 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆23Updated last year
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆29Updated 6 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 6 years ago