calebegg/markdown-editor
A markdown editor with some WYSIWYG editing conventions
Public GitHub Catalog
Discovered Sep 24, 2026
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.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1839520GitHub System ID
calebeggOrganization / User
PublicVisibility
ActiveCatalog Status
More from calebegg
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/proof-pad-classic
An IDE for ACL2
calebegg/try-acl2
A website and evaluation service so that visitors can try ACL2 in their browser without any plugins or installation.