papajohn / composing-programs-publishedLinks
Published version of composing programs textbook
☆14Updated 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:
- Public repository for Abstact Algebra Theory and Applications☆177Updated 2 weeks ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- The pastebin for mathematicians☆35Updated 11 years ago
- Short essays I've written☆79Updated 2 years ago
- Makes it simple to use a web-optimized version of the Computer Modern font in web pages.☆46Updated 3 years ago
- Blueprint website and application portal☆21Updated 10 months ago
- "A First Course in Linear Algebra" open source textbook☆70Updated 2 months ago
- GL Wavefunction Visualizer☆48Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- My scholarly markdown setup☆10Updated 10 years 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 9 years ago
- The transcript of a Donald Knuth interview in 2006☆227Updated 9 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆217Updated 2 weeks ago
- KJS: A Complete Formal Semantics of JavaScript☆103Updated 9 years ago
- Coauthor supercollaboration/discussion forum☆268Updated last week
- Experiments with syntax and symbols☆15Updated 6 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- Game programming for beginners☆36Updated 8 years ago
- Student-run wiki for students interested in computer science at Cornell University☆99Updated 2 years ago
- The online book Critically Conscious Computing: Methods for Secondary Education☆53Updated 2 weeks ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Updated 8 years ago
- The New Yorken Poesry Magazine is a cultured poetry journal by AI, for AI☆36Updated 6 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- ☆100Updated 11 months ago
- A blog aggregator for the Recurse Center community☆65Updated last year
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- List of links of techniques to help enhance mathematical notation☆193Updated last year
- Recurse Center ribbons, badges and tags☆26Updated 9 years ago
- Repository for the QED interactive text and possible extensions☆117Updated last year