mister-walter

Northeastern University PhD student working with Pete Manolios.

Massachusetts

Pinned Repositories

0g-typeahead
A lean typeahead library
Language:JavaScript00
abelson
Language:Rust0 2 00
acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp0 1 00
acl2-docker
A Docker image for the ACL2 theorem proving system and books
Language:Dockerfile4 1 00
acl2-utils
Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.
Language:Common Lisp1 2 00
acl2s-docker
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
Language:Dockerfile0 1 00
acl2s-package
Language:Dockerfile00
acl2s-quicklisp-proxy-test
Language:Perl00
d3-table
Language:JavaScript1 2 00
gbeets
A GMusic plugin for beets
4 2 00

mister-walter's Repositories

mister-walter/acl2-docker
A Docker image for the ACL2 theorem proving system and books
Language:Dockerfile4 1 00
mister-walter/acl2-utils
Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.
Language:Common Lisp1 2 00
mister-walter/0g-typeahead
A lean typeahead library
Language:JavaScript00
mister-walter/abelson
Language:Rust0 2 00
mister-walter/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp0 1 00
mister-walter/acl2s-docker
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
Language:Dockerfile0 1 00
mister-walter/acl2s-package
Language:Dockerfile00
mister-walter/acl2s-quicklisp-proxy-test
Language:Perl00
mister-walter/atom-slime
Write lisp code efficiently with Atom
Language:CoffeeScript0 2 00
mister-walter/checkup
Distributed, lock-free, self-hosted health checks and status pages
Language:Go2 0
mister-walter/CKAN
The Comprehensive Kerbal Archive Network
Language:C#2 0
mister-walter/cogito
Language:TypeScript0 0
mister-walter/composer-language-server
Example project for connecting the Monaco Editor with a Xtext language server
Language:Java1 01
mister-walter/esrap
Common Lisp packrat parser
Language:Common Lisp2 0
mister-walter/generate-theme
Custom Wordpress + Timber theme for Generate Product Development Studio
Language:CSS1 0
mister-walter/HackathonTrail
HackWPI 2018
Language:Rust2 0
mister-walter/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.
Language:Python1 0
mister-walter/mister-walter.github.io
Language:HTML1 0
mister-walter/osicat
Osicat is a lightweight operating system interface for Common Lisp
Language:Common Lisp1 0
mister-walter/pvc_aerophone
Language:Makefile2 0
mister-walter/rust
A safe, concurrent, practical language.
Language:Rust2 0
mister-walter/template-example
Language:HTML1 0
mister-walter/test-c-program
Language:C
mister-walter/the-algorithm
Source code for Twitter's Recommendation Algorithm
Language:Scala0 0
mister-walter/type-i
Type Inference Utility on unary type-checking predicates
Language:Common Lisp1 0
mister-walter/typeahead-js-esm
typeahead.js is a fast and fully-featured autocomplete library
Language:JavaScript0 0
mister-walter/Unif-Resolution
Language:Common Lisp
mister-walter/webpack-starter
✨ A lightweight foundation for your next webpack based frontend project.
Language:JavaScript1 0
mister-walter/xtext-folding-issue
Language:Java1 0
mister-walter/xtext-web
xtext-web
Language:Java1 0