papajohn / composing-programs-publishedLinks
Published version of composing programs textbook
☆13Updated 11 years ago
Alternatives and similar repositories for composing-programs-published
Users that are interested in composing-programs-published are comparing it to the libraries listed below
Sorting:
- Short essays I've written☆78Updated last year
- A LaTeX MLA style formatter package that allows users to create MLA style documents easily.☆76Updated 8 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 2 months ago
- Source files for https://web.evanchen.cc☆58Updated this week
- Makes it simple to use a web-optimized version of the Computer Modern font in web pages.☆46Updated 3 years ago
- A LaTeX Typesetting Game☆258Updated 6 months ago
- Examples of autograders for running on Gradescope☆88Updated 9 months ago
- A system programming learning environment in the browser☆37Updated 5 years ago
- Applied Discrete Structures using PreTeXt☆45Updated 3 weeks ago
- Displays xkcd Time (1190) in a navigable way.☆205Updated last year
- Student-run wiki for students interested in computer science at Cornell University☆97Updated last year
- Experiments in an explorable visual medium for mathematics☆262Updated 7 years ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 weeks ago
- 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/ov…☆23Updated 8 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 6 months ago
- A Powerpoint CPU☆95Updated 4 years ago
- An alternative frontend for LessWrong 2.0☆74Updated this week
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆330Updated 2 years ago
- interactive math, intuitively☆39Updated 5 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆215Updated last month
- The pastebin for mathematicians☆35Updated 11 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated last month
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆18Updated 7 years ago
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆144Updated 11 months ago
- My scholarly markdown setup☆10Updated 10 years ago
- An introduction to Hackathon Hackers and its rules.☆69Updated 4 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Updated 9 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- ⚖ A generic and configurable Code of Conduct for hackathons☆69Updated 4 years ago