j2kun / program-galleryLinks
Program Gallery
☆18Updated 7 months ago
Alternatives and similar repositories for program-gallery
Users that are interested in program-gallery are comparing it to the libraries listed below
Sorting:
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆228Updated 3 weeks ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- Presentation materials from the CppNorth conference☆41Updated 4 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆68Updated 8 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Advanced-Programming☆25Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Educational tool for relational algebra☆92Updated last year
- Contains code of the book "Introduction to Programming with C++ for Engineers" by prof. Bogusław Cyganek, Wiley-IEEE, 2020☆52Updated 2 years ago
- Parser for language from Elements of Programming☆39Updated 12 years ago
- Essential Tools for Programming☆10Updated 10 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated 2 months ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 10 months ago
- An example of C++ Sudoku solver using MiniSat library.☆29Updated 4 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 2 weeks ago
- Peer-to-peer version control system☆97Updated 2 years ago
- Learning C++ Functional Programming, published by Packt☆50Updated 5 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- ☆50Updated 5 years ago
- deep learning course materials☆15Updated 5 years ago
- GluCat: Clifford algebra templates☆22Updated 2 weeks ago
- Code from Implementing Useful Algorithms in C++ by Dmytro Kedyk☆138Updated last month
- C++ Summer Lecture Series 2016☆14Updated 9 years ago
- Applied Discrete Structures using PreTeXt☆45Updated last month
- Riemann Hypothesis book☆74Updated 8 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 3 years ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Programming Language Explorations☆102Updated 3 weeks ago
- Code for Bootstrap C++☆49Updated last year
- Slides for the C++ on Sea conference☆109Updated 2 years ago