calebegg Goto Github PK

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.

adventofcode

bright-earth

Experiments in displaying weather data from NOAA's API, focusing on my area for now.

codewich

Like a sandwich but code.

definitelytyped

The repository for high quality TypeScript type definitions.

gts

☂️ TypeScript style guide, formatter, and linter.

markdown-editor

A markdown editor with some WYSIWYG editing conventions

midnight-train

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

pixeldance

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.

untitled

Untitled Live Code Editor

website

Code for my personal page at ca.lebe.gg