Pinned Repositories
cargo-cacher
A caching server for crates + cargo
dhall-div
ftp2mfs
Syncing FTP/HTTP/RSYNC into IPFS
kafkacat-static
Static build of kafkacat. Might work, might not.
lls
List of listening sockets for humans
openclonk
patch-json
pee
/P/ut some bytes into a file
structstruck
Rust nested structs
wapm-pkg
jcaesar's Repositories
jcaesar/irssi-feed
jcaesar/Blockchain
A verified permissioned centralized Blockchain for Isabelle/HOL
jcaesar/bpstruct
Automatically exported from code.google.com/p/bpstruct
jcaesar/C4C
Just me fooling around a little with a C4Script like nonexistent language and llvm.
jcaesar/cature
steamgifts.com bot
jcaesar/crctrl
http://clonkforge.net/pr.php?pr=1105
jcaesar/ETI-GP-SS12-P5
jcaesar/fixed-topos-header-space-analysis
jcaesar/ipfs-folder2video-js
This is so technically nonsensical, it hurts. But I still did it. Scrapes images from a folder on IPFS and encodes them into a video. In JS.
jcaesar/Iptables_Semantics
jcaesar/isabelle-brainfuck
the famous brainfuck language implemented in the famous isabelle theorem prover
jcaesar/isalol-afp-logic-links
jcaesar/sway
i3-compatible window manager for Wayland (WIP)