vierkantor Goto Github PK

2017-afp

bonaparticle

A LaTeX magazine class. Still a work in progress

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

buildcraft-dev

buildcraft-localization

Localizations for BuildCraft

cap-game-2024

New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/

ec-tate-lean

Separate project from mathib4

elastic-tabstops-for-gedit3

A re-implementation of the Elastic Tabstops plugin for GEdit3, since the original was for GEdit2 and I couldn't get it running.

emoji-mart

One component to pick them all 👊🏼

file-roller

Archive Manager

html5-dropzone

language-php

A Haskell module for parsing and pretty-printing PHP. Because obviously.

lean

Lean Theorem Prover

lean-game-abridged

Abridged version of the Set Theory and Number Theory games

lean-mode

Emacs mode for Lean

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lftcm2020

Lean for the Curious Mathematician 2020

lisp-assembly

A minimalist Lisp implementation in x86_64 assembly

logical_verification_2021

logisticspipes-dev

This is the SMP-Dev version with additional features for the minecraft modification Logistics Pipes.

mastodon

A glitchy but lovable microblogging server

mathlib

Lean mathematical components library

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mersenne-primes

A bijection between Mersenne primes and even perfect numbers

modsync

Syncs your modded minecraft version with that of the server

obfuscation

Unreadable C programs

octopuscalc

Calculate everything about everything.

pyserv

The Python code that hosts vierkantor.com

pyswail

An interpreted language I'm (perpetually) making for fun

qwopper

Trying to help QWOP with genetic programming