eglassman / overcode
OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/overcode for papers, posters, and talks.
☆22Updated 7 years ago
Related projects: ⓘ
- ☆66Updated 6 years ago
- synchronous git collaboration tool☆10Updated last year
- A Python client for the OK autograding system☆57Updated 3 weeks ago
- The extensive approach to SLE bibliography☆28Updated 4 years ago
- ☆33Updated this week
- Resources for people running research groups.☆205Updated 7 years ago
- Adaptive MOOClet Quiz LTI tool☆9Updated 6 years ago
- Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.☆53Updated 9 years ago
- Literate data analysis with iPython notebooks and Jekyll.☆92Updated 10 years ago
- [ARCHIVE - very out of date] Intro textbook for web development with Sinatra and ActiveRecord☆13Updated 8 years ago
- Refazer: Learning Program Transformations from Examples☆30Updated 6 years ago
- latex2edx system for creating edX courses☆41Updated last year
- NLP2Code: Code Snippet Content Assist via Natural Language Tasks☆33Updated 4 years ago
- Perspectives on Data Science for Software Engineering☆59Updated last year
- Using MathJax and PhantomJS to create SVGs on server side with minimum overhead.☆70Updated 8 years ago
- ☆23Updated 5 years ago
- The Design and Implementation of Probabilistic Programming Languages☆173Updated 4 months ago
- A system programming learning environment in the browser☆36Updated 4 years ago
- Default Repo description from terraform module☆3Updated last week
- See https://github.com/Dallinger/Dallinger/ for the latest.☆36Updated last year
- A Binder-compatible repo with a requirements.txt file☆26Updated 7 years ago
- ☆44Updated 3 years ago
- ☆17Updated this week
- This is a prototype for overview of GitHub forks.☆23Updated 7 months ago
- An interface to SAT solver tools (like minisat)☆58Updated last year
- An explainer on entropy☆61Updated 5 months ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆20Updated 3 years ago
- content repository for metacademy.org☆88Updated 7 years ago
- Summaries of academic papers☆17Updated 5 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago