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:
- Student-run wiki for students interested in computer science at Cornell University☆98Updated 2 years ago
- Short essays I've written☆80Updated last year
- "A First Course in Linear Algebra" open source textbook☆69Updated 2 weeks ago
- crypto.graphics☆28Updated 5 years ago
- ☆78Updated last year
- TLS proxy for *.recurse.com domains☆21Updated 2 years ago
- auto-split frame environment for LaTeX☆68Updated 2 years ago
- Style package for directly including color emojis in latex documents☆224Updated 6 years ago
- Applied Discrete Structures using PreTeXt☆45Updated last week
- Public repository for Abstact Algebra Theory and Applications☆175Updated 3 months ago
- Repository for the W3C "Math on the Web" Community Group☆19Updated 4 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆217Updated this week
- Coauthor supercollaboration/discussion forum☆266Updated last month
- Displays xkcd Time (1190) in a navigable way.☆207Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- Finite State Machine Designer☆309Updated 2 years ago
- GL Wavefunction Visualizer☆48Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Programming Language Explorations☆101Updated this week
- A collection of MathJax extensions provided by third-party contributors☆77Updated 5 years ago
- interactive math, intuitively☆39Updated 6 months ago
- Makes it simple to use a web-optimized version of the Computer Modern font in web pages.☆46Updated 3 years ago
- My scholarly markdown setup☆10Updated 10 years ago
- A blog aggregator for the Recurse Center community☆65Updated 11 months ago
- A LaTeX Typesetting Game☆259Updated 8 months ago
- An interactive guide to alternative voting systems☆219Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆302Updated this week
- CourseRoad is a four-year academic planner for undergraduates.☆62Updated 6 years ago