~badt/kripke

A secure, distributed computing environment

~badt/vim-banderol git

Vim of wandering interchange format Banderol

~badt/banderol git

An almost lisp-like wandering data/AST interchange format

~badt/kripke git

guix channel to kripke related software