Andrea Vezzosi's repositories
guarded-exp
Experiments with models of "guarded recursion"
Agda-proofs
Agda code for the proofs I use in my research
Language:AgdaMIT000
agda-stdlib
The Agda standard library
AgdaProofs
My agda proofs for my internship at Chalmers with Mr. Coquand
CC0-1.0000
classical-bp
Approximation Alg. for Classical Bin Packing
closed-canonicity
Some Agda code with the intent to formalize a proof of canonicity for type theory
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
lambda-definability
Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond
openai-hs
Unofficial OpenAI Haskell Bindings
Language:Haskell000
openapi3
OpenAPI 3.0 data model
Language:HaskellBSD-3-Clause000
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Language:HaskellMIT000
syb-with-class
Fork of http://patch-tag.com/r/Saizan/syb-with-class