Pinned Loading

1. codewich codewich Public

   Like a sandwich but code.

   HTML 79 8

2. midnight-train midnight-train Public

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

   TypeScript 7 2

3. proof-pad proof-pad Public

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

   TypeScript 10 2

4. website website Public

   Code for my personal page at ca.lebe.gg

   TypeScript 1

5. recipes recipes Public

   5 2

6. bright-earth bright-earth Public

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

   TypeScript