Andrew Walter's repositories
acl2-docker
A Docker image for the ACL2 theorem proving system and books
acl2-utils
Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.
0g-typeahead
A lean typeahead library
acl2s-docker
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
atom-slime
Write lisp code efficiently with Atom
composer-language-server
Example project for connecting the Monaco Editor with a Xtext language server
cross_reference
Cross referencing for Google Docs
generate-theme
Custom Wordpress + Timber theme for Generate Product Development Studio
HackathonTrail
HackWPI 2018
homebrew-acl2s
A Homebrew formula for ACL2s
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
the-algorithm
Source code for Twitter's Recommendation Algorithm
typeahead-js-esm
typeahead.js is a fast and fully-featured autocomplete library
webpack-starter
✨ A lightweight foundation for your next webpack based frontend project.