Derek Rhodes's repositories
18013x-search-engine
search engine for 18013x
18-031x-search
static files for search
18.01.3x-search
search engine for 18013x
18012x-search
search engine for 18012x material
18032x-search
18032x-search
18033x-search-engine
search-engine for 18033x
000
18_02
My tools and notebooks for 18.02x part 2 on EdX
Language:PythonMIT000
auxml
A macro system for author friendly xml.
Language:Python000
codejail
Secure code execution
Language:PythonApache-2.0000
Language:TeXMIT000
jupyter-wolfram
setup tools for running wolfram engine in jupyter
Language:DockerfileNOASSERTION000
latex2edx
latex2edx system for creating edX courses
Language:PythonAGPL-3.0000
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
000
mitx-grading-library
The MITx Grading Library, a python grading library for edX
Language:PythonBSD-3-Clause000
Language:PythonBSD-3-Clause000
OCW-18-100A
Real Analysis
oe
openedx command line client
000
Language:JavaScript000
rational_function
Generating pleasing rational functions using a constraint solver
render-sketch-tool
render-sketch-tool
search-engine-18.01.1x
search engine
Language:PythonNOASSERTION000
STG4-kreyol
Set Theory Game
Language:Lean000
tera
A template engine for Rust based on Jinja2/Django
Language:RustMIT000
Language:HTMLMIT000