Pinned Repositories
bright-earth
Experiments in displaying weather data from NOAA's API, focusing on my area for now.
codewich
Like a sandwich but code.
cogito
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
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.
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
calebegg's Repositories
calebegg/codewich
Like a sandwich but code.
calebegg/proof-pad-classic
An IDE for ACL2
calebegg/proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
calebegg/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.
calebegg/midnight-train
An experiment in showing the NYC subway's real time arrival data in a super fast, dense, commuter-centric format.
calebegg/cogito
calebegg/recipes
calebegg/try-acl2
A website and evaluation service so that visitors can try ACL2 in their browser without any plugins or installation.
calebegg/adventofcode
calebegg/markdown-editor
A markdown editor with some WYSIWYG editing conventions
calebegg/website
Code for my personal page at ca.lebe.gg
calebegg/bright-earth
Experiments in displaying weather data from NOAA's API, focusing on my area for now.
calebegg/45-acl2-projects
This started out as a blog where I was going to do one project a day for a year, but I was never really satisfied with it and I gave up on it early because it was way too much work. I still think some of these are interesting and worthwhile, and it was a nice experiment in programming in ACL2 more.
calebegg/acl2
ACL2 System and Books as Maintained by the Community
calebegg/DefinitelyTyped
The repository for high quality TypeScript type definitions.
calebegg/gts
☂️ TypeScript style guide, formatter, and linter.
calebegg/pixeldance
calebegg/untitled
Untitled Live Code Editor