Kha/aoc-2021

Stars
3
Rank 3,963,521 (Top 79 %)
Language Lean
Created almost 3 years ago
Updated almost 3 years ago

Kha/aoc-2021

Kha

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

not meant as an instruction manual

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

Bartizan

Mod Framework for TowerFall Ascension

nixprof

A Nix build graph profiler

nale

Nix + Lean = Nale

do-supplement

Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"

macro-supplement

Supplemental material for the "Beyond Notations" paper

masters-thesis

HoTT-book-agda

Agda proofs of the HoTT book exercises

semantics-lean

aoc-2022

err-sedbot

errbot plugin for executing simple sed substitute commands

i3lock

dotfiles

nusski-replayer

Ein Replay-Viewer für das April-2011-Turnier der EE in CoffeeScript

syntax

err-cah

A Cards Against Humanity bot plugin for err-bot

light-cycle

Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012

etc

/etc files of a Lenovo ThinkPad T430

nusski-cs-client

Ein C#-Client für das April-2011-Turnier der Entwickler-Ecke

err-babble-bot

Markov chain-based Err plugin for nonsense generation

ca-datastructs

Proseminar about implementing simple data structures in cellular automata

Floyd

(Parallel) implementation of Floyd-Steinberg dithering for Programming course 2011

top-comment-err

errbot plugin that responds to posted links with the respective reddit top comment

isabelle-zfc

Simplistic Formalization of ZFC in Isabelle