Discover @JLimperg Open Source projects

Jannis Limperg (@JLimperg)

JLimperg

Stars
122
Global Rank 179,891 (Top 7 %)
Followers 38
Registered almost 14 years ago
Most used languages

Agda 42.9 %

Dockerfile
14.3 %

C#
14.3 %

TeX
14.3 %

Lean 14.3 %
Location 🇳🇱 Netherlands
Country Total Rank 2,990
Country Ranking

Agda 2

Lean 9

Dockerfile
149

TeX
384

C#
1,156

cats

Category Theory in Agda. Learning exercise, not for public consumption.

well-founded-corecursion

An attempt to integrate well-founded recursion into corecursion

docker-agda-stdlib

Docker image with Agda and agda-stdlib

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

elan-cleanup

A tool for cleaning up unused Lean toolchains

msc-thesis

A Reflexive Graph Model of Sized Types (M.Sc. thesis)