Interactive quizzes for Markdown

being the shared sources and generated html for the MSP website

A comprehensive tutorial for the Idris2 programming language

A formalisation of Cedar's type system using Idris2

JambroBeamerTheme

Minimalist Hugo template for academic websites

Org agenda in the console

Litterate configuration for GNU Emacs

GNU Emacs / N Λ N O - Emacs made simple

A work-in-progress reimplementation of Dafny's compiler, in Dafny

Network Semantics

rabe is an Attribute Based Encryption library, written in Rust

Containers and utilities to ease integrate the openABE library in various systems

A Rust verification tool

Content of the CS410 lectures

A framework for the elicitation, specification, formalization and analysis of requirements.

New version of Oxford Talks

Libraries useful for Dafny programs

Website for the SPLV summer school series

Dafny is a verification-aware programming language

BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your private homepage or display a list of recommended publications f…

Packer template for alpine linux

LaTeX snippets for use with the yasnippet Emacs plugin

Multiparty Session Types toolKit

Open-source textbook about CHERI capabilities, for a developer audience

A computer science textbook

Biblatex styles for the acmart ACM latex package

Code for parsing out augmented packet header diagrams from IETF documents

A core language and API for dependently typed languages