milescalabresi

milescalabresi's Stars

• yt-dlp/yt-dlp

  A feature-rich command-line audio/video downloader

  Language:Python83.2k6.5k

• marcotcr/checklist

  Beyond Accuracy: Behavioral Testing of NLP models with CheckList

  Language:Jupyter Notebook2k203

• Hanabi-Live/hanabi-live

  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.

  Language:TypeScript177114

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k298

• leanprover-community/tutorials

  Some Lean tutorials

  Language:Lean18061

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.4k841

• nltk/nltk

  NLTK Source

  Language:Python13.4k2.9k

• hackyale/HackYale

  [DEPRECATED] HackYale public site for classwork

  Language:CSS42

• learning-unlimited/ESP-Website

  A website to help manage the logistics of large, short-term educational programs

  Language:Python8257