papajohn / composing-programs-published
Published version of composing programs textbook
☆13Updated 10 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
- Algebra Number Theory book☆48Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- A LaTeX MLA style formatter package that allows users to create MLA style documents easily.☆73Updated 7 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- GL Wavefunction Visualizer☆46Updated 3 months ago
- Mathematical Components (the Book)☆141Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated 4 months ago
- knot theory and computational algebra software☆37Updated 10 years ago
- LobLib: The Lobster Library☆68Updated 9 years ago
- A Powerpoint CPU☆92Updated 4 years ago
- My scholarly markdown setup☆10Updated 10 years ago
- tool for creating and sharing annotations, using github for storage and social network☆88Updated 3 years ago
- Student-run wiki for students interested in computer science at Cornell University☆92Updated last year
- www☆16Updated last year
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆150Updated 5 months ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆197Updated last year
- A Markdown version of the free textbook created by Walter Ott☆23Updated 10 years ago
- Theorem proving in Lean☆49Updated 4 months ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆164Updated 3 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Automatically choosing fast data structures!☆38Updated 7 years ago
- Public repository for Abstact Algebra Theory and Applications☆164Updated 6 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago