#
Lists (6)
AI Planning
Collection of Tools and Libraries I've used for AI Planning during my time at IBM and beyond26 repositories
Automated Theorem Proving
Automated Theorem Provers and Interactive Theorem Proving Stuff10 repositories
Jai
Stuff from the Jai Programming Language12 repositories
Lean ITP
Lean Interactive Theorem Proving Repos I like!25 repositories
Minecraft
All the MC and Modded MC repos ive stared25 repositories
Web Stuff
7 repositories
Starred repositories
1
star
written in Ruby
Clear filter
An extension for tracking your activities on myanimelist.net