Pinned Repositories
agda-core
A work-in-progress core language for Agda, in Agda
agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
agda2scheme
Compiler backend for generating Scheme code
ataca
A TACtic library for Agda
cubes
An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda's Implementor's Meeting.
ohrid19-agda
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
popl19-tutorial
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
reflection-tutorial
scope
An agda2hs-compatible library for well-scoped syntax
tensors
Some experiments with defining tensors in Agda
jespercockx's Repositories
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
jespercockx/ataca
A TACtic library for Agda
jespercockx/agda-core
A work-in-progress core language for Agda, in Agda
jespercockx/agda2scheme
Compiler backend for generating Scheme code
jespercockx/popl19-tutorial
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
jespercockx/ohrid19-agda
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
jespercockx/reflection-tutorial
jespercockx/scope
An agda2hs-compatible library for well-scoped syntax
jespercockx/tensors
Some experiments with defining tensors in Agda
jespercockx/telescopic
jespercockx/lagda-slides-template
A template for creating Beamer slides with literate Agda code
jespercockx/revealjs-agda-template
A quick template for creating Agda slides with Reveal.js
jespercockx/scopes-n-roses
What's in a scope? An abstract representation of scopes in Agda.
jespercockx/agda2hs
Compiling Agda code to readable Haskell
jespercockx/generics
jespercockx/nano_photos_provider2
PHP photos provider for nanogallery2
jespercockx/Weblab-Haskell
Haskell test runner for Weblab
jespercockx/website
Hakyll code for building my website at jesper.sikanda.be
jespercockx/agda
Agda is a dependently typed programming language / interactive theorem prover.
jespercockx/lbss-lecture-notes
Lecture notes for CSE4280 Language-Based Software Security at TU Delft
jespercockx/pubnotes
My published notes
jespercockx/Weblab-Agda
Agda support for Weblab
jespercockx/agda-prelude
Programming library for Agda
jespercockx/agda-sct
An Agda backend for SizeChangeTool
jespercockx/agda-stdlib
The Agda standard library
jespercockx/Agda2Dedukti
jespercockx/cubical
jespercockx/equality
jespercockx/haskell22-agda2hs
Some examples used in the demo session of Haskell '22
jespercockx/HoTT-Agda
Development of homotopy type theory in Agda