Pinned Repositories
2048bot
An example Chrome extension that plays 2048 by continuously pressing left and down. Its purpose is not to be a good AI for 2048 - that would require minimax or some similar algorithm - it is meant to demonstrate a non-trivial example of a Chrome extension, as well as how one would go about building it.
bairblog.github.io
basalt_competition_submission_template
The submission template for the MineRL BASALT Competition @ NeurIPS 2021. Clone this to make a new submission!
fb-redirect
Chrome extension that redirects you away from Facebook to other websites, with an option to cancel
gac2011-eh
Automatically exported from code.google.com/p/gac2011-eh
racket
The Racket repository
recreational-rosette
Some fun examples of solving problems with symbolic execution
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
smashup
Online recreation of the board game Smash Up.
typeinference
Type Inference for Scheme
rohinmshah's Repositories
rohinmshah/typeinference
Type Inference for Scheme
rohinmshah/2048bot
An example Chrome extension that plays 2048 by continuously pressing left and down. Its purpose is not to be a good AI for 2048 - that would require minimax or some similar algorithm - it is meant to demonstrate a non-trivial example of a Chrome extension, as well as how one would go about building it.
rohinmshah/bairblog.github.io
rohinmshah/basalt_competition_submission_template
The submission template for the MineRL BASALT Competition @ NeurIPS 2021. Clone this to make a new submission!
rohinmshah/fb-redirect
Chrome extension that redirects you away from Facebook to other websites, with an option to cancel
rohinmshah/gac2011-eh
Automatically exported from code.google.com/p/gac2011-eh
rohinmshah/racket
The Racket repository
rohinmshah/recreational-rosette
Some fun examples of solving problems with symbolic execution
rohinmshah/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
rohinmshah/smashup
Online recreation of the board game Smash Up.
rohinmshah/sync-comments
Syncs comments between my website (which uses Disqus) and various other websites.
rohinmshah/toggl-button
Toggl Button Chrome extension