Sebastian Ullrich (@Kha)
github

Kha

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

electrolysis

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

Bartizan

Mod Framework for TowerFall Ascension
C#
56
star
3

nixprof

A Nix build graph profiler
Python
27
star
4

nale

Nix + Lean = Nale
C++
11
star
5

do-supplement

Supplement of the ICFP'22 paper "β€˜do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
Lean
10
star
6

macro-supplement

Supplemental material for the "Beyond Notations" paper
Lean
8
star
7

masters-thesis

TeX
7
star
8

HoTT-book-agda

Agda proofs of the HoTT book exercises
Agda
4
star
9

semantics-lean

Lean
3
star
10

aoc-2022

aoc-2022
Lean
3
star
11

aoc-2021

not meant as an instruction manual
Lean
3
star
12

err-sedbot

errbot plugin for executing simple sed substitute commands
Python
2
star
13

i3lock

C
2
star
14

dotfiles

.config/
Nix
2
star
15

nusski-replayer

Ein Replay-Viewer fΓΌr das April-2011-Turnier der EE in CoffeeScript
JavaScript
2
star
16

syntax

Lean
1
star
17

err-cah

A Cards Against Humanity bot plugin for err-bot
Python
1
star
18

light-cycle

Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012
CoffeeScript
1
star
19

top-comment-err

errbot plugin that responds to posted links with the respective reddit top comment
Python
1
star
20

etc

/etc files of a Lenovo ThinkPad T430
Shell
1
star
21

nusski-cs-client

Ein C#-Client fΓΌr das April-2011-Turnier der Entwickler-Ecke
C#
1
star
22

err-babble-bot

Markov chain-based Err plugin for nonsense generation
Python
1
star
23

ca-datastructs

Proseminar about implementing simple data structures in cellular automata
Haskell
1
star
24

Floyd

(Parallel) implementation of Floyd-Steinberg dithering for Programming course 2011
Java
1
star
25

isabelle-zfc

Simplistic Formalization of ZFC in Isabelle
TeX
1
star