Block a user
Integrating ChatGPT into your browser deeply, everything you need is here
Updated 2025-05-01 05:15:20 +08:00
Hackable frontend for LLM assisted searching with citations
Updated 2024-06-29 20:18:49 +08:00
Compare development stats between altcoins
Updated 2023-01-17 12:03:33 +08:00
This is the repository for the distill web framework
Updated 2021-09-21 04:49:54 +08:00
A reddit extension for Google Chrome
Updated 2018-08-04 13:00:34 +08:00
cardsforscience.com a solitaire game where you work out the secret rule (inspired by Eleusis)
Updated 2017-11-04 09:13:23 +08:00
A collection of various notebook extensions for Jupyter
Updated 2017-10-31 09:29:50 +08:00
Chrome extension that adds "arxiv-vanity" link to the arxiv download options
Updated 2017-10-26 06:45:45 +08:00
Interpret a synthetic seismic line so you can measure and improve your error.
Updated 2017-06-12 09:31:00 +08:00
This Extension adds Rotten Tomatoes Critics and User Critics to movies whenever they can be matched. A Netflix Account is needed to enhance the Netflix website.
Updated 2017-05-23 22:27:42 +08:00
Simple react webpack template
Updated 2016-04-06 11:43:47 +08:00
Startup landing page template made with bootstrap. Google Analytics, Mailchimp and Optimizely integration
Updated 2016-03-27 12:50:22 +08:00
Generate client side, parsley.js validation attributes automatically from WTForms server side validators.
Updated 2016-01-24 07:38:59 +08:00
Generate isometric game sprites. Inputs an svg panel and it's folded into a cube and rendered from any angle.
Updated 2016-01-19 09:53:29 +08:00
A micro-library to load, play and generate sound effects and music for games and interactive applications
Updated 2015-10-06 10:44:16 +08:00