Math & CS awesome List, distinguished by proof and logic technique
☆1,200Jan 30, 2026Updated 6 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☆16,113Updated this week
- A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.☆1,009Apr 22, 2024Updated 2 years ago
- A curated list of awesome quantum computing learning and developing resources.☆3,256Jul 24, 2024Updated 2 years ago
- An awesome list of complex systems science resources☆294Mar 20, 2025Updated last year
- A curated repository of software engineering repository mining data sets☆488Jun 1, 2026Updated 2 months 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.
- A curated list of awesome tools, demos and resources to go beyond LaTeX☆994Mar 6, 2026Updated 5 months ago
- A curated list of algorithms and papers for auditing black-box algorithms.☆121Jun 17, 2026Updated 2 months ago
- A curated list of awesome places to learn and/or practice algorithms.☆25,456Apr 18, 2026Updated 4 months ago
- A curated list of delightful Conversational AI resources.☆311Jan 23, 2022Updated 4 years ago
- Curated list of awesome software for numerical analysis and scientific computing☆1,580Jul 20, 2026Updated 3 weeks 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,742May 19, 2026Updated 2 months ago
- A curated list of cryptography resources and links.☆7,074Jul 15, 2026Updated last month
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,257Nov 22, 2024Updated last year
- A Comprehensive Roadmap to Mathematics☆3,539Dec 29, 2024Updated last year
- 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.
- 😎 A curated list of resources related to calculators!☆264Mar 21, 2026Updated 4 months ago
- Delightful Markdown stuff.☆952Aug 21, 2024Updated last year
- An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can …☆258May 5, 2026Updated 3 months ago
- 🛠Helpful items for making open source hardware projects.☆1,030Aug 6, 2026Updated last week
- A curated list of cryptography papers, articles, tutorials and howtos.☆2,089Oct 17, 2024Updated last year
- A curated list of awesome Competitive Programming, Algorithm and Data Structure resources☆14,123Dec 8, 2024Updated last year
- collection of projects and links about algorithm visualization☆1,764Dec 5, 2022Updated 3 years ago
- 🔬 A repository of resources related to citizen, community-based and/or non-institutional science☆324Apr 28, 2026Updated 3 months ago
- Curated list of resources to help you get started with Data Science☆789Jun 7, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A curated list for when naming things is done right.☆1,447Jun 16, 2026Updated 2 months ago
- A curated list of awesome philosophy☆270Mar 16, 2026Updated 5 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆393Jun 5, 2026Updated 2 months ago
- An Awesome List of computer history videos, documentaries and related folklore☆2,953Feb 1, 2023Updated 3 years ago
- Curated list of ad-free alternatives to popular services on the web.☆509Dec 12, 2022Updated 3 years ago
- ✨ A curated list of awesome design principles☆767Jan 11, 2021Updated 5 years ago
- A curated list of awesome creative tech events from around the world☆210Feb 3, 2023Updated 3 years ago
- List of awesome university courses for learning Computer Science!☆70,493May 4, 2023Updated 3 years ago
- A curated list of anything remotely related to linguistics☆451Feb 12, 2026Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Curated list of open-source, free as in freedom software.☆2,862Apr 29, 2025Updated last year
- A list of web-based interactive biological data visualizations.☆243Aug 7, 2026Updated last week
- A curated list of articles that cover the software engineering best practices for building machine learning applications.☆1,366Mar 26, 2024Updated 2 years ago
- A curated list of podcasts we like to listen to.☆642Mar 22, 2026Updated 4 months ago
- 🧮 Path to a free self-taught education in Mathematics!☆9,018Aug 8, 2026Updated last week
- Resources for learning and using recursion schemes.☆1,307Apr 25, 2024Updated 2 years ago
- A list of schools and researchers in computational neuroscience☆987Aug 2, 2024Updated 2 years ago