basetunnel/CIPs
Cardano Improvement Proposals (CIPs)
Repositories
basetunnel/plutus-cert
basetunnel/leksah
Haskell IDE
basetunnel/thesis-implementation
Implementation of my master-thesis
basetunnel/modelling-computing-systems-errata
Errata for the book Modelling Computing Systems
basetunnel/markup
markup
basetunnel/2022-scp-translation-relations
Coq implementation of translation relations described in Translation Ceritification for Smart Contracts (Submitted to SCP)
basetunnel/Coq-Equations
A function definition package for Coq
basetunnel/nvim-lspconfig
Quickstart configs for Nvim LSP
basetunnel/Coqtail
Interactive Coq Proofs in Vim
basetunnel/chapter-2-formalisation
basetunnel/agda-material
Supports generation of websites and PDFs with highlighted literate Agda code
basetunnel/gobble
basetunnel/plutus
The Plutus language implementation and tools
basetunnel/pir-pretty-print
Rocq pretty printer for PIR AST
basetunnel/mpv-one-week
basetunnel/haddock
Haskell Documentation Tool
basetunnel/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
basetunnel/error-messages
basetunnel/simple-show
Uses GHC generics to implement a very simple printing format
basetunnel/UU-dissertation-template
This is a Utrecht University dissertation template for LaTeX
basetunnel/Perspec
Scriptable desktop app to correct the perspective of images
basetunnel/country
Haskell data types and functions for countries
basetunnel/plutus-apps
The Plutus application platform
basetunnel/plfa.github.io
An introduction to programming language theory in Agda
basetunnel/platform
Multi platform setup for Coq, Coq libraries and tools
basetunnel/typed-extraction
Verified coq extraction
basetunnel/hs-comprehension
This might one day be a thesis project
basetunnel/logic-notes
Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.
basetunnel/command-t
⌨️ Fast file navigation for VIM