Discover @calebegg Open Source projects

Caleb Eggensperger (@calebegg)

calebegg

Stars
130
Global Rank 171,488 (Top 6 %)
Followers 298
Following 6
Registered over 13 years ago
Most used languages

TypeScript
50.0 %

CoffeeScript
12.5 %

HTML
12.5 %

JavaScript
12.5 %

Java
12.5 %
Location 🇺🇸 United States
Country Total Rank 37,347
Country Ranking

CoffeeScript
1,180

HTML
2,133

Java
6,568

TypeScript
7,513

codewich

Like a sandwich but code.

proof-pad-classic

An IDE for ACL2

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.

midnight-train

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

proof-pad

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

recipes

try-acl2

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

website

Code for my personal page at ca.lebe.gg

markdown-editor

A markdown editor with some WYSIWYG editing conventions

adventofcode