Beast code in Giters

Joseph Redmon's repositories

WRed

Web application for data reduction

Language:JavaScript7 4 6

blazeit

A proof assistant.

Language:CNOASSERTION4 20

django-allauth

Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication. Visit http://jug.gl for a live demo ...

Language:PythonMIT4 20

Have you seen that part of Apollo 13 where they take the Command Module's square carbon dioxide scrubber cartridges and jury-rig them to fit in the Lunar Module's round sockets? This is sort of like that.

Language:Matlab3 30