Alternatives and similar repositories for algorithm-archive:

Users that are interested in algorithm-archive are comparing it to the libraries listed below

• coq / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆4,903Updated this week
• nbro / understanding-math
  Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
  ☆1,088Updated last month
• pim-book / programmers-introduction-to-mathematics
  Code for A Programmer's Introduction to Mathematics
  ☆3,543Updated last year
• leios / simuleios
  Simulations for LeiosOS
  ☆199Updated 9 months ago
• aalhour / awesome-compilers
  Curated list of awesome resources on Compilers, Interpreters and Runtimes
  ☆9,065Updated 7 months ago
• enjalot / algovis
  collection of projects and links about algorithm visualization
  ☆1,683Updated 2 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,150Updated last year
• rossant / awesome-math
  A curated list of awesome mathematics resources
  ☆9,290Updated 2 weeks ago
• Helpsypoo / primerpython
  code that makes videos for this: youtube.com/c/primerlearning
  ☆1,343Updated 4 years ago
• lnishan / awesome-competitive-programming
  A curated list of awesome Competitive Programming, Algorithm and Data Structure resources
  ☆12,871Updated last month
• kjaisingh / ML-for-High-Schoolers
  This guide details a learning path for high school students looking to explore the field of Machine Learning & Artificial Intelligence.
  ☆1,005Updated 3 months ago
• cfenollosa / os-tutorial
  How to create an OS from scratch
  ☆27,700Updated 5 months ago
• llSourcell / learn_math_fast
  This is the Curriculum for "How to Learn Mathematics Fast" By Siraj Raval on Youtube
  ☆3,271Updated 5 years ago
• enkimute / ganja.js
  Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
  ☆1,529Updated last year
• EbookFoundation / free-science-books
  Inspired by free-programming-books, here's free-science-books
  ☆1,815Updated 9 months ago
• tpn / pdfs
  Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
  ☆7,943Updated this week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆16,855Updated this week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,551Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated last year
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,297Updated last week
• learn-anything / courses
  Awesome Courses
  ☆1,101Updated 2 years ago
• darshanime / notes
  detailed notes on computer science topics, in one page
  ☆2,117Updated 2 years ago
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆4,956Updated this week
• HackerPoet / MarbleMarcher
  A Fractal Physics Game
  ☆2,481Updated 3 years ago
• vicky002 / AlgoWiki
  Repository which contains links and resources on different topics of Computer Science.
  ☆4,225Updated 7 months ago
• mrpandey / d3graphTheory
  Interactive and colorful graph theory tutorials made using d3.js
  ☆1,776Updated last year
• watson / awesome-computer-history
  An Awesome List of computer history videos, documentaries and related folklore
  ☆2,745Updated last year
• pllk / cphb
  Competitive Programmer's Handbook
  ☆3,071Updated 5 months ago
• pervognsen / bitwise
  Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
  ☆5,141Updated 5 years ago
• aardappel / lobster
  The Lobster Programming Language
  ☆2,340Updated this week