kha Goto Github PK

action-gh-release

📦 :octocat: GitHub Action for creating GitHub Releases

actions-test

aesop

White-box automation for Lean 4

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

aoc-2021

not meant as an instruction manual

aoc-2022

aoc-2022

bartizan

Mod Framework for TowerFall Ascension

bootstrap-tagsinput

jQuery tags input plugin based on Twitter Bootstrap.

c-parsing-for-lean4

A parser for ANSI C, in Lean4.

ca-datastructs

Proseminar about implementing simple data structures in cellular automata

cantor-set

A formalization of the Cantor Set and its properties in Isabelle/HOL

cygports

datascience-utils

do-supplement

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

doc-gen4

Document Generator for Lean 4

dotfiles

.config/

edgemonkey

EM is a user script extending the usability of the programmers commutity Entwickler-Ecke.de

elan

A Lean version manager

electrolysis

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

emacs-ycmd

Emacs client for ycmd, the code completion system.

err-babble-bot

Markov chain-based Err plugin for nonsense generation

err-cah

A Cards Against Humanity bot plugin for err-bot

err-markovbot

Markov chain-based conversation plugin for err-chatbot

err-rssfeed

err BotPlugin to register to rss feeds and get updates in the chat.

err-sedbot

errbot plugin for executing simple sed substitute commands

etc

/etc files of a Lenovo ThinkPad T430

flamer

A compiler plugin to insert flame calls

flametc

flask-admin

Simple and extensible administrative interface framework for Flask

floyd

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