lukasstevens Goto Github PK

adventofcode-2020

My solutions for the 2020 Advent of Code

aoc-2021

archive-of-graph-formalizations

This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.

bachelor-thesis

congruence-closure-isabelle

Bachelor thesis about the verification in Isabelle/HOL of the Congruence Closure Algorithm.

cookbook

A collection useful tips/tricks/hints for Isabelle users

craftr

Meta build system based on Ninja and Python

cyp

Checker for "morally correct" induction proofs about haskell programs

docker-fpv-stack

Docker image containing a stack installation. Used for the FPV lecture @ TUM.

dotfiles

My dotfiles

first-contributions

🚀✨ Help beginners to contribute to open source projects

foss_course

A university course template to teach about Free and Open-Source Software (FOSS)

gcpc-2016

hierarchical-decomposition

Automatically exported from code.google.com/p/hierarchical-decomposition

hydrabot

i3bar-mux

i3status multiplexer for i3bar

i3blocks-scripts

isabelle-lambda-calculus

isabelle-linter

Linter component for Isabelle.

lualdap-rs

machma10-telegram-bot

metis-mirror

Mirror of the METIS graph partitioning software

mirror-afp-2021

Git mirror of foss.heptapod.net/isa-afp/afp-2021

mirror-afp-2021-1

Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1

misc

just some useful stuff

nixpkgs

Nix Packages collection

proseminar

Proseminar: Algebraische Methoden der Kryptologie

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

sbt-isabelle-component

scrape-mep-mails