Math & CS awesome List, distinguished by proof and logic technique
☆1,076Jan 30, 2026Updated last month
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,804Updated this week
- A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.☆997Apr 22, 2024Updated last year
- An awesome list of complex systems science resources☆258Mar 20, 2025Updated last year
- A curated list of awesome quantum computing learning and developing resources.☆3,129Jul 24, 2024Updated last year
- A curated repository of software engineering repository mining data sets☆474Nov 3, 2025Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A curated list of awesome tools, demos and resources to go beyond LaTeX☆924Mar 6, 2026Updated 3 weeks ago
- A curated list of algorithms and papers for auditing black-box algorithms.☆113Mar 11, 2026Updated 2 weeks ago
- A curated list of awesome places to learn and/or practice algorithms.☆24,867Jan 11, 2026Updated 2 months ago
- A curated list of delightful Conversational AI resources.☆277Jan 23, 2022Updated 4 years ago
- Curated list of awesome software for numerical analysis and scientific computing☆1,533Feb 18, 2026Updated last month
- 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,551Mar 22, 2026Updated last week
- A curated list of cryptography resources and links.☆6,803Jun 5, 2025Updated 9 months ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,183Nov 22, 2024Updated last year
- An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can …☆212Jun 19, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 😎 A curated list of resources related to calculators!☆238Mar 21, 2026Updated last week
- A Comprehensive Roadmap to Mathematics☆3,386Dec 29, 2024Updated last year
- This repository contains various programs related to the theory of computation☆14Jan 13, 2019Updated 7 years ago
- 🛠Helpful items for making open source hardware projects.☆716Mar 10, 2026Updated 2 weeks ago
- Book in preparation: introduction to theoretical computer science☆1,032Mar 18, 2024Updated 2 years ago
- A curated list of cryptography papers, articles, tutorials and howtos.☆2,010Oct 17, 2024Updated last year
- A curated list of awesome Competitive Programming, Algorithm and Data Structure resources☆13,820Dec 8, 2024Updated last year
- 🔬 A repository of resources related to citizen, community-based and/or non-institutional science☆305Jan 17, 2026Updated 2 months ago
- Curated list of resources to help you get started with Data Science☆772Jun 7, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A curated list for when naming things is done right.☆1,390Feb 12, 2026Updated last month
- collection of projects and links about algorithm visualization☆1,735Dec 5, 2022Updated 3 years ago
- An Awesome List of computer history videos, documentaries and related folklore☆2,909Feb 1, 2023Updated 3 years ago
- A curated list of awesome philosophy☆249Mar 16, 2026Updated 2 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆378Nov 5, 2025Updated 4 months ago
- ✨ A curated list of awesome design principles☆734Jan 11, 2021Updated 5 years ago
- Curated list of ad-free alternatives to popular services on the web.☆494Dec 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☆198Feb 3, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- List of awesome university courses for learning Computer Science!☆67,188May 4, 2023Updated 2 years ago
- A curated list of awesome Assembler and Machine Codes☆33Oct 7, 2023Updated 2 years ago
- A curated list of anything remotely related to linguistics☆435Feb 12, 2026Updated last month
- A list of web-based interactive biological data visualizations.☆223Apr 2, 2024Updated last year
- Curated list of open-source, free as in freedom software.☆2,648Apr 29, 2025Updated 11 months ago
- 🧮 Path to a free self-taught education in Mathematics!☆8,561Dec 31, 2025Updated 2 months ago
- A curated list of podcasts we like to listen to.☆628Mar 22, 2026Updated last week