calebegg/markdown-editor
A markdown editor with some WYSIWYG editing conventions
Developer Profile
calebegg
Discovered public repositories for calebegg in the GitHub catalog.
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.
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.