Discover @mister-walter Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

OCaml

Perl

R

C#

CSS

Assembly

Objective-C

TypeScript

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Jupyter Notebook

Elm

Go

Scala

Lua

C

Ada

F#

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇶🇦 Qatar

🇹🇷 Turkey

🇲🇹 Malta

🇦🇱 Albania

🇧🇶 Caribbean Netherlands

🇭🇺 Hungary

🇧🇩 Bangladesh

🇿🇼 Zimbabwe

All Countries Compare Countries

Andrew Walter (@mister-walter)

mister-walter

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

JavaScript
33.3 %

Common Lisp
33.3 %

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

Common Lisp
778

Dockerfile
1,953

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.