Math & CS awesome List, distinguished by proof and logic technique
☆1,178Jan 30, 2026Updated 5 months ago
Alternatives and similar repositories for awesome-theoretical-computer-science
Users that are interested in awesome-theoretical-computer-science are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A curated list of awesome mathematics resources☆15,827May 19, 2026Updated last month
- A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.☆1,010Apr 22, 2024Updated 2 years ago
- An awesome list of complex systems science resources☆283Mar 20, 2025Updated last year
- A curated list of awesome quantum computing learning and developing resources.☆3,222Jul 24, 2024Updated last year
- A curated repository of software engineering repository mining data sets☆484Jun 1, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A curated list of awesome tools, demos and resources to go beyond LaTeX☆960Mar 6, 2026Updated 4 months ago
- A curated list of algorithms and papers for auditing black-box algorithms.☆120Jun 17, 2026Updated 3 weeks ago
- A curated list of awesome places to learn and/or practice algorithms.☆25,342Apr 18, 2026Updated 2 months ago
- Curated list of awesome software for numerical analysis and scientific computing☆1,566Feb 18, 2026Updated 4 months ago
- A curated list of delightful Conversational AI resources.☆299Jan 23, 2022Updated 4 years ago
- A curated list of cryptography resources and links.☆7,013Jun 24, 2026Updated 2 weeks ago
- An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can …☆241May 5, 2026Updated 2 months ago
- A Comprehensive Roadmap to Mathematics☆3,485Dec 29, 2024Updated last year
- 😎 A curated list of resources related to calculators!☆258Mar 21, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 🛠Helpful items for making open source hardware projects.☆975May 27, 2026Updated last month
- Book in preparation: introduction to theoretical computer science☆1,051Mar 18, 2024Updated 2 years ago
- A curated list of cryptography papers, articles, tutorials and howtos.☆2,068Oct 17, 2024Updated last year
- A curated list of awesome Competitive Programming, Algorithm and Data Structure resources☆14,035Dec 8, 2024Updated last year
- 🔬 A repository of resources related to citizen, community-based and/or non-institutional science☆318Apr 28, 2026Updated 2 months ago
- Curated list of resources to help you get started with Data Science☆781Jun 7, 2024Updated 2 years ago
- collection of projects and links about algorithm visualization☆1,758Dec 5, 2022Updated 3 years ago
- A curated list for when naming things is done right.☆1,411Jun 16, 2026Updated 3 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆393Jun 5, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An Awesome List of computer history videos, documentaries and related folklore☆2,934Feb 1, 2023Updated 3 years ago
- A curated list of awesome philosophy☆261Mar 16, 2026Updated 3 months ago
- ✨ A curated list of awesome design principles☆762Jan 11, 2021Updated 5 years ago
- Curated list of ad-free alternatives to popular services on the web.☆507Dec 12, 2022Updated 3 years ago
- Awesome radio stuff☆306Sep 23, 2019Updated 6 years ago
- List of awesome university courses for learning Computer Science!☆69,556May 4, 2023Updated 3 years ago
- A curated list of awesome Assembler and Machine Codes☆35Oct 7, 2023Updated 2 years ago
- A curated list of anything remotely related to linguistics☆448Feb 12, 2026Updated 4 months ago
- A curated list of awesome creative tech events from around the world☆206Feb 3, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Curated list of open-source, free as in freedom software.☆2,818Apr 29, 2025Updated last year
- A list of web-based interactive biological data visualizations.☆237Apr 2, 2024Updated 2 years ago
- 🧮 Path to a free self-taught education in Mathematics!☆8,898Dec 31, 2025Updated 6 months ago
- A curated list of podcasts we like to listen to.☆635Mar 22, 2026Updated 3 months ago
- A curated list of articles that cover the software engineering best practices for building machine learning applications.☆1,360Mar 26, 2024Updated 2 years ago
- A list of schools and researchers in computational neuroscience☆969Aug 2, 2024Updated last year
- Resources for learning and using recursion schemes.☆1,301Apr 25, 2024Updated 2 years ago