Math & CS awesome List, distinguished by proof and logic technique
☆1,209Jan 30, 2026Updated 7 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,365Aug 14, 2026Updated 3 weeks ago
- 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,265Jul 24, 2024Updated 2 years ago
- An awesome list of complex systems science resources☆297Mar 20, 2025Updated last year
- A curated repository of software engineering repository mining data sets☆490Jun 1, 2026Updated 3 months 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 of awesome tools, demos and resources to go beyond LaTeX☆999Updated this week
- A curated list of algorithms and papers for auditing black-box algorithms.☆122Jun 17, 2026Updated 2 months ago
- A curated list of awesome places to learn and/or practice algorithms.☆25,511Apr 18, 2026Updated 4 months ago
- A curated list of delightful Conversational AI resources.☆316Jan 23, 2022Updated 4 years ago
- Curated list of awesome software for numerical analysis and scientific computing☆1,585Jul 20, 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,765May 19, 2026Updated 3 months ago
- A curated list of cryptography resources and links.☆7,102Jul 15, 2026Updated last month
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,256Nov 22, 2024Updated last year
- A Comprehensive Roadmap to Mathematics☆3,561Dec 29, 2024Updated last year
- 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 of resources related to calculators!☆266Mar 21, 2026Updated 5 months ago
- Delightful Markdown stuff.☆955Aug 21, 2024Updated 2 years ago
- An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can …☆263May 5, 2026Updated 4 months ago
- 🛠Helpful items for making open source hardware projects.☆1,050Aug 31, 2026Updated last week
- A curated list of cryptography papers, articles, tutorials and howtos.☆2,094Oct 17, 2024Updated last year
- A curated list of awesome Competitive Programming, Algorithm and Data Structure resources☆14,165Dec 8, 2024Updated last year
- collection of projects and links about algorithm visualization☆1,765Dec 5, 2022Updated 3 years ago
- 🔬 A repository of resources related to citizen, community-based and/or non-institutional science☆328Apr 28, 2026Updated 4 months ago
- Curated list of resources to help you get started with Data Science☆792Jun 7, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A curated list for when naming things is done right.☆1,455Jun 16, 2026Updated 2 months ago
- A curated list of awesome philosophy☆272Mar 16, 2026Updated 5 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆394Jun 5, 2026Updated 3 months ago
- An Awesome List of computer history videos, documentaries and related folklore☆2,959Feb 1, 2023Updated 3 years ago
- Curated list of ad-free alternatives to popular services on the web.☆514Dec 12, 2022Updated 3 years ago
- ✨ A curated list of awesome design principles☆772Jan 11, 2021Updated 5 years ago
- A curated list of awesome creative tech events from around the world☆211Feb 3, 2023Updated 3 years ago
- List of awesome university courses for learning Computer Science!☆70,950May 4, 2023Updated 3 years ago
- A curated list of anything remotely related to linguistics☆453Feb 12, 2026Updated 6 months ago
- AI Agents on 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.
- Curated list of open-source, free as in freedom software.☆2,889Apr 29, 2025Updated last year
- A list of web-based interactive biological data visualizations.☆244Aug 7, 2026Updated last month
- A curated list of articles that cover the software engineering best practices for building machine learning applications.☆1,367Mar 26, 2024Updated 2 years ago
- A curated list of podcasts we like to listen to.☆639Mar 22, 2026Updated 5 months ago
- 🧮 Path to a free self-taught education in Mathematics!☆9,127Aug 8, 2026Updated 3 weeks ago
- Resources for learning and using recursion schemes.☆1,307Apr 25, 2024Updated 2 years ago
- A list of schools and researchers in computational neuroscience☆995Aug 2, 2024Updated 2 years ago