Popular repositories Loading

1. manim manim Public

   Forked from 3b1b/manim

   Animation engine for explanatory math videos

   Python 14 2

2. John-Harrison-s-Automated-Reasoning-Code John-Harrison-s-Automated-Reasoning-Code Public

   This is a copy of John Harrison's automated reasoning code, with my personalizations

   OCaml 3

3. homebrew homebrew Public

   Forked from Homebrew/legacy-homebrew

   The missing package manager for OS X.

   Ruby 1

4. test-wordpress-js test-wordpress-js Public

   testing wordpress js

   1

5. elm-mathy-stuff elm-mathy-stuff Public

   Source code for some elm math demonstrations

   Elm 1

6. mackup mackup Public

   Forked from lra/mackup

   Keep your application settings in sync (OS X/Linux)

   Python