jlimperg Goto Github PK

aesop-nightlies

Nightly builds for the Aesop Lean 4 library

aesop3

White-box proof automation for Lean

agda-beamer-template

A template for Literal Agda slides with XeLaTeX/Beamer

agda-stdlib

The Agda standard library

align

Help folks to align text, eqns, declarations, tables, etc

backup-rotate

Simple script to rotate your hourly/daily/weekly or custom backups

boolean_attributes

attr_accessor etc. for boolean attributes

bsc-ouertatani

cabal

Official upstream development repository for Cabal and cabal-install

cats

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

cftools

tools for context-free grammars

coquille

Interactive theorem proving with Coq in vim.

docker-agda-stdlib

Docker image with Agda and agda-stdlib

dotfiles

Configuration files for various utilities

dtt-seminar-2024

Materials for a 2024 seminar on dependent type theory at LMU Munich

duck

elan-cleanup

A tool for cleaning up unused Lean toolchains

experiment-parallel-tsp

Experiments on parallellisation in Haskell

geordi

IRC C++ eval bot

hakyll-agda

Hakyll support for Agda literate files

haskell-card-validator

Validate a credit card number

haskell-sample

A very simple Haskell application

haskellerz

Notes and files from HaskellerZ meetups.

hslogger

Logging infrastructure [Haskell]

internal-language

java2015

Haskell interpretations of the exercises for the 2015 Java course at Freiburg University

jcommenter.vim

A script for automatically generating JavaDoc comments

lean

Lean Theorem Prover

lean-postgres

lean4

Lean 4 programming language and theorem prover