Pinned Repositories
afp-ants
agda-graphql
Agda meets GraphQL
apa-1
dataflow and abstract interpretation
bkks
code-scanning-test
gatsby-starter-hello-world
generic-in-agda
mdm
mathijsb's Repositories
mathijsb/generic-in-agda
mathijsb/afp-ants
mathijsb/agda-graphql
Agda meets GraphQL
mathijsb/apa-1
dataflow and abstract interpretation
mathijsb/bkks
mathijsb/code-scanning-test
mathijsb/gatsby-starter-hello-world
mathijsb/mdm
mathijsb/tpt-verified-compiler
mathijsb/netlify-cms
A CMS for Static Site Generators
mathijsb/simple-haskell-compiler
mathijsb/tf