j2kun / program-galleryLinks
Program Gallery
☆18Updated this week
Alternatives and similar repositories for program-gallery
Users that are interested in program-gallery are comparing it to the libraries listed below
Sorting:
- Adding a table of contents to Specifying Systems, TLA+.pdf☆68Updated 8 years ago
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆228Updated 3 weeks ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Peer-to-peer version control system☆97Updated 2 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Contains code of the book "Introduction to Programming with C++ for Engineers" by prof. Bogusław Cyganek, Wiley-IEEE, 2020☆52Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Code for Bootstrap C++☆49Updated last year
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 2 weeks ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆29Updated 8 years ago
- ☆20Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Code from Implementing Useful Algorithms in C++ by Dmytro Kedyk☆138Updated last month
- sandbox for my c++ functional programming experiments☆33Updated 12 years ago
- mostly programming parodies of songs (typically with C++ bias)☆11Updated last year
- https://code.google.com/p/graph-theory-algorithms-book/☆21Updated 10 years ago
- Support for for students (Python)☆70Updated 3 months ago
- Learning C++ Functional Programming, published by Packt☆50Updated 5 years ago
- Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.☆84Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- ☆12Updated 3 years ago
- A performant, parallel, probabilistic, random acyclic-graph, low-latency, perfect hash generation library.☆86Updated last week
- Presentation materials from the CppNorth conference☆41Updated 4 months ago