Pinned Repositories
auxml
A macro system for author friendly xml.
chunk_xml
Chunk XML document down to smaller pieces
go-sfml
Go bindings for SFML
golorem
Lorem Ipsum Generator
regmach4wasm
common lisp assembler / emulator for the BETA cpu using nested interpreters
remoxblock
An xblock that fetches serialized student answers from a remote host and grades them
rust-ncurses
rust bindings for ncurses
rust-postgres
rust bindings for postgres
set-js
implementation for a Set type which supports union, intersection, etc.
complete-overview
a complete overview of the openedx jupyterhub grader
drhodes's Repositories
drhodes/18013x-search-engine
search engine for 18013x
drhodes/auxml
A macro system for author friendly xml.
drhodes/chunk_xml
Chunk XML document down to smaller pieces
drhodes/18-031x-search
static files for search
drhodes/18.01.3x-search
search engine for 18013x
drhodes/18012x-search
search engine for 18012x material
drhodes/18032x-search
18032x-search
drhodes/18033x-search-engine
search-engine for 18033x
drhodes/1803fx-search-engine
drhodes/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
drhodes/jupyter-wolfram
setup tools for running wolfram engine in jupyter
drhodes/l2e-docker
drhodes/latex2edx
latex2edx system for creating edX courses
drhodes/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
drhodes/mathjax-hotfix
drhodes/mitx-grading-library
The MITx Grading Library, a python grading library for edX
drhodes/mitxonline
drhodes/next-netlify-starter
drhodes/OCW-18-100A
Real Analysis
drhodes/oe
openedx command line client
drhodes/osbooks-calculus-bundle
drhodes/osbooks-college-algebra-bundle
translation experment for openstax math
drhodes/pb-search
elastic search for proofbased courses
drhodes/pb330
A Course in Numerical Analysis
drhodes/qredirect
drhodes/render-sketch-tool
render-sketch-tool
drhodes/search-engine-18.01.1x
search engine
drhodes/spaCy
💫 Industrial-strength Natural Language Processing (NLP) in Python
drhodes/sqltoy
drhodes/STG4-kreyol
Set Theory Game