Discover @mister-walter Open Source projects

Andrew Walter (@mister-walter)

mister-walter

Stars
10
Global Rank 972,962 (Top 34 %)
Followers 8
Following 7
Registered over 12 years ago
Most used languages

JavaScript
33.3 %

Dockerfile
33.3 %

Common Lisp
33.3 %
Location 🇺🇸 United States
Country Total Rank 166,811
Country Ranking

Common Lisp
659

Dockerfile
1,757

acl2-docker

A Docker image for the ACL2 theorem proving system and books

gbeets

A GMusic plugin for beets

d3-table

acl2-utils

Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.