Kha/isabelle-zfc

Stars
1
Language
TeX
Created over 10 years ago
Updated over 10 years ago

Kha/isabelle-zfc

Kha

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

Simplistic Formalization of ZFC in Isabelle

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

aoc-2021

not meant as an instruction manual

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