Pinned Repositories
2022-scp-translation-relations
Coq implementation of translation relations described in Translation Ceritification for Smart Contracts (Submitted to SCP)
markup
markup
modelling-computing-systems-errata
Errata for the book Modelling Computing Systems
thesis-implementation
Implementation of my master-thesis
jaccokrijnen's Repositories
jaccokrijnen/2022-scp-translation-relations
Coq implementation of translation relations described in Translation Ceritification for Smart Contracts (Submitted to SCP)
jaccokrijnen/modelling-computing-systems-errata
Errata for the book Modelling Computing Systems
jaccokrijnen/thesis-implementation
Implementation of my master-thesis
jaccokrijnen/cabal
Official upstream development repository for Cabal and cabal-install
jaccokrijnen/command-t
⌨️ Fast file navigation for VIM
jaccokrijnen/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jaccokrijnen/Coq-Equations
A function definition package for Coq
jaccokrijnen/country
Haskell data types and functions for countries
jaccokrijnen/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
jaccokrijnen/error-messages
jaccokrijnen/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
jaccokrijnen/haddock
Haskell Documentation Tool
jaccokrijnen/hs-comprehension
This might one day be a thesis project
jaccokrijnen/logic-notes
Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.
jaccokrijnen/modular-arithmetic
A useful type for working with integers modulo some constant.
jaccokrijnen/mpv-one-week
jaccokrijnen/permutation
git import of patrick perry permutations lib from darcs
jaccokrijnen/Perspec
Scriptable desktop app to correct the perspective of images
jaccokrijnen/platform
Multi platform setup for Coq, Coq libraries and tools
jaccokrijnen/plfa.github.io
An introduction to programming language theory in Agda
jaccokrijnen/plutus
The Plutus language implementation and tools
jaccokrijnen/plutus-apps
The Plutus application platform
jaccokrijnen/plutus-cert
jaccokrijnen/simple-show
Uses GHC generics to implement a very simple printing format
jaccokrijnen/type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
jaccokrijnen/typed-extraction
Verified coq extraction
jaccokrijnen/UU-dissertation-template
This is a Utrecht University dissertation template for LaTeX
jaccokrijnen/vector-space-points
A type for points, as distinct from vectors.
jaccokrijnen/vit
VIT is a lightweight, fast, curses-based front end to Taskwarrior
jaccokrijnen/yi
The Haskell-Scriptable Editor