Pinned Repositories
cats
Category Theory in Agda. Learning exercise, not for public consumption.
docker-agda-stdlib
Docker image with Agda and agda-stdlib
elan-cleanup
A tool for cleaning up unused Lean toolchains
internal-language
msc-thesis-code
Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same
opdtab
Tabbing software for OPD debating tournaments
regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
SessionTypes
Some mechanised proofs about session types
well-founded-corecursion
An attempt to integrate well-founded recursion into corecursion
aesop
White-box automation for Lean 4
JLimperg's Repositories
JLimperg/cats
Category Theory in Agda. Learning exercise, not for public consumption.
JLimperg/well-founded-corecursion
An attempt to integrate well-founded recursion into corecursion
JLimperg/docker-agda-stdlib
Docker image with Agda and agda-stdlib
JLimperg/msc-thesis-code
Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same
JLimperg/opdtab
Tabbing software for OPD debating tournaments
JLimperg/msc-thesis
A Reflexive Graph Model of Sized Types (M.Sc. thesis)
JLimperg/Align
Help folks to align text, eqns, declarations, tables, etc
JLimperg/haskell-card-validator
Validate a credit card number
JLimperg/SessionTypes
Some mechanised proofs about session types
JLimperg/agda-stdlib
The Agda standard library
JLimperg/backup-rotate
Simple script to rotate your hourly/daily/weekly or custom backups
JLimperg/boolean_attributes
attr_accessor etc. for boolean attributes
JLimperg/cabal
Official upstream development repository for Cabal and cabal-install
JLimperg/cftools
tools for context-free grammars
JLimperg/coquille
Interactive theorem proving with Coq in vim.
JLimperg/experiment-parallel-tsp
Experiments on parallellisation in Haskell
JLimperg/geordi
IRC C++ eval bot
JLimperg/haskell-sample
A very simple Haskell application
JLimperg/HaskellerZ
Notes and files from HaskellerZ meetups.
JLimperg/hslogger
Logging infrastructure [Haskell]
JLimperg/java2015
Haskell interpretations of the exercises for the 2015 Java course at Freiburg University
JLimperg/jcommenter.vim
A script for automatically generating JavaDoc comments
JLimperg/lean
Lean Theorem Prover
JLimperg/learnhaskell
Learn Haskell
JLimperg/logical_verification_2019
Repository for the course Logical Verification 2019–2020 at VU Amsterdam
JLimperg/monopoly
Example development for lecture
JLimperg/nqueens
Evolutionary solution to the N-Queens problem.
JLimperg/tlc
Personal fork of Arthur Charguéraud's TLC Coq library, for use as a dependency in other projects
JLimperg/tournaman-aux
A helper programme for Tournaman
JLimperg/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.