jespercockx

agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

ataca

A TACtic library for Agda

popl19-tutorial

Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais

agda2scheme

Compiler backend for generating Scheme code

ohrid19-agda

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

agda-core

A work-in-progress core language for Agda, in Agda

reflection-tutorial

scope

An agda2hs-compatible library for well-scoped syntax

tensors

Some experiments with defining tensors in Agda

telescopic

lagda-slides-template

A template for creating Beamer slides with literate Agda code

revealjs-agda-template

A quick template for creating Agda slides with Reveal.js

scopes-n-roses

What's in a scope? An abstract representation of scopes in Agda.

agda2hs

Compiling Agda code to readable Haskell

generics

nano_photos_provider2

PHP photos provider for nanogallery2

Weblab-Haskell

Haskell test runner for Weblab

website

Hakyll code for building my website at jesper.sikanda.be

agda

Agda is a dependently typed programming language / interactive theorem prover.

lbss-lecture-notes

Lecture notes for CSE4280 Language-Based Software Security at TU Delft

pubnotes

My published notes

Weblab-Agda

Agda support for Weblab

agda-prelude

Programming library for Agda

agda-sct

An Agda backend for SizeChangeTool

agda-stdlib

The Agda standard library

Agda2Dedukti

cubical

equality

haskell22-agda2hs

Some examples used in the demo session of Haskell '22

HoTT-Agda

Development of homotopy type theory in Agda