Math & CS awesome List, distinguished by proof and logic technique
☆1,090Jan 30, 2026Updated 2 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☆13,954Apr 6, 2026Updated last week
- A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.☆999Apr 22, 2024Updated last year
- An awesome list of complex systems science resources☆262Mar 20, 2025Updated last year
- A curated list of awesome quantum computing learning and developing resources.☆3,146Jul 24, 2024Updated last year
- A curated repository of software engineering repository mining data sets☆478Nov 3, 2025Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A curated list of awesome tools, demos and resources to go beyond LaTeX☆934Mar 6, 2026Updated last month
- A curated list of algorithms and papers for auditing black-box algorithms.☆113Mar 11, 2026Updated last month
- A curated list of awesome places to learn and/or practice algorithms.☆24,995Jan 11, 2026Updated 3 months ago
- A curated list of delightful Conversational AI resources.☆280Jan 23, 2022Updated 4 years ago
- Curated list of awesome software for numerical analysis and scientific computing☆1,536Feb 18, 2026Updated 2 months ago
- a curated list of tools to help you with your research/life; I built a front end around this repo, please use the link below [This repo …☆2,575Apr 7, 2026Updated last week
- A curated list of cryptography resources and links.☆6,834Jun 5, 2025Updated 10 months ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,190Nov 22, 2024Updated last year
- An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can …☆215Jun 19, 2024Updated last year
- 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 resources related to calculators!☆241Mar 21, 2026Updated 3 weeks ago
- A Comprehensive Roadmap to Mathematics☆3,407Dec 29, 2024Updated last year
- Delightful Markdown stuff.☆918Aug 21, 2024Updated last year
- 🛠Helpful items for making open source hardware projects.☆787Mar 10, 2026Updated last month
- This repository contains various programs related to the theory of computation☆14Jan 13, 2019Updated 7 years ago
- Book in preparation: introduction to theoretical computer science☆1,034Mar 18, 2024Updated 2 years ago
- A curated list of awesome Competitive Programming, Algorithm and Data Structure resources☆13,862Dec 8, 2024Updated last year
- 🔬 A repository of resources related to citizen, community-based and/or non-institutional science☆306Jan 17, 2026Updated 3 months ago
- collection of projects and links about algorithm visualization☆1,738Dec 5, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Curated list of resources to help you get started with Data Science☆772Jun 7, 2024Updated last year
- A curated list for when naming things is done right.☆1,396Feb 12, 2026Updated 2 months ago
- An Awesome List of computer history videos, documentaries and related folklore☆2,911Feb 1, 2023Updated 3 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆383Nov 5, 2025Updated 5 months ago
- A curated list of awesome philosophy☆250Mar 16, 2026Updated last month
- ✨ A curated list of awesome design principles☆738Jan 11, 2021Updated 5 years ago
- Curated list of ad-free alternatives to popular services on the web.☆497Dec 12, 2022Updated 3 years ago
- Awesome radio stuff☆297Sep 23, 2019Updated 6 years ago
- A curated list of awesome creative tech events from around the world☆199Feb 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- List of awesome university courses for learning Computer Science!☆67,558May 4, 2023Updated 2 years ago
- A curated list of anything remotely related to linguistics☆436Feb 12, 2026Updated 2 months ago
- Curated list of open-source, free as in freedom software.☆2,677Apr 29, 2025Updated 11 months ago
- A list of web-based interactive biological data visualizations.☆224Apr 2, 2024Updated 2 years ago
- 🧮 Path to a free self-taught education in Mathematics!☆8,600Dec 31, 2025Updated 3 months ago
- A curated list of podcasts we like to listen to.☆629Mar 22, 2026Updated 3 weeks ago
- A curated list of articles that cover the software engineering best practices for building machine learning applications.☆1,348Mar 26, 2024Updated 2 years ago