ddanco

ddanco's Stars

• jordwest/news-feed-eradicator

  A browser extension that deletes your news feed and replaces it with a nice quote

  Language:TypeScript1.2k27234282

• tmcw/flair

  Cocktail browser interface and dataset

  Language:Elm877353

• RichardEvans/apperception

  Language:Shell666413

• blanchette/logical_verification_2021

  Language:Lean25618

• xaviripo/fmpd

  Download any number of Facebook pictures given a list of their FBIDs.

  Language:TypeScript8164