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:
- A toolchain of tasks for sequencing and fingerprinting book fulltext☆46Updated 11 months ago
- Coauthor supercollaboration/discussion forum☆263Updated last month
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- js-parsons - a JavaScript library for creating Parson's problems; language independent, with additional support for Python code☆96Updated 4 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 10 months ago
- A Powerpoint CPU☆93Updated 4 years ago
- Short essays I've written☆79Updated last year
- Examples of autograders for running on Gradescope☆84Updated 6 months ago
- My scholarly markdown setup☆10Updated 10 years ago
- Makes it simple to use a web-optimized version of the Computer Modern font in web pages.☆46Updated 3 years ago
- Aaron Swartz's blog posts in Markdown, PDF, ePub, and Mobi☆226Updated 12 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆210Updated 3 weeks ago
- ☆59Updated 4 months ago
- Summer of Math Exposition☆20Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆87Updated this week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 5 months ago
- Better LaTeX that compiles to LaTeX☆22Updated 5 months ago
- Providing references and citations on abstract pages for the arXiv☆138Updated 2 years ago
- An explainer on entropy☆67Updated last year
- Applied Discrete Structures using PreTeXt☆44Updated this week
- knot theory and computational algebra software☆37Updated 11 years ago
- Repository for the QED interactive text and possible extensions☆102Updated 5 months ago
- The pastebin for mathematicians☆35Updated 11 years ago
- The Explorable Explanations Website☆495Updated 2 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- A LaTeX Typesetting Game☆252Updated 3 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- Displays xkcd Time (1190) in a navigable way.☆205Updated 11 months ago