-
typeinference
Type Inference for Scheme
Scheme ★ 4 12y agoExplain → -
bairblog.github.io ⑂
No description.
JavaScript ★ 0 5y agoExplain → -
basalt_competition_submission_template ⑂
The submission template for the MineRL BASALT Competition @ NeurIPS 2021. Clone this to make a new submission!
★ 0 5y agoExplain → -
recreational-rosette ⑂
Some fun examples of solving problems with symbolic execution
Racket ★ 0 9y agoExplain → -
sync-comments
Syncs comments between my website (which uses Disqus) and various other websites.
Python ★ 0 8y agoExplain → -
fb-redirect
Chrome extension that redirects you away from Facebook to other websites, with an option to cancel
JavaScript ★ 0 9y agoExplain → -
racket ⑂
The Racket repository
Racket ★ 0 10y agoExplain → -
rosette ⑂
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket ★ 0 9y agoExplain → -
toggl-button ⑂
Toggl Button Chrome extension
JavaScript ★ 0 10y agoExplain → -
smashup
Online recreation of the board game Smash Up.
JavaScript ★ 0 10y agoExplain → -
gac2011-eh
Automatically exported from code.google.com/p/gac2011-eh
Java ★ 0 11y agoExplain → -
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.
JavaScript ★ 0 11y agoExplain →
No repos match these filters.