Caleb Eggensperger

codewich. Like a sandwich but code.

proof-pad-classic. An IDE for ACL2

proof-pad. A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

midnight-train. An experiment in showing the NYC subway's real time arrival data in a super fast, dense, commuter-centric format.

pseudocode. An alternate way of viewing code that adds more interesting characters to the mix in the hopes of helping find bugs and making code more skimable.

cogito. TypeScript

recipes.

try-acl2. A website and evaluation service so that visitors can try ACL2 in their browser without any plugins or installation.

adventofcode. TypeScript

pixeldance. TypeScript

markdown-editor. A markdown editor with some WYSIWYG editing conventions

website. Code for my personal page at ca.lebe.gg