boazbk / tcscode

Related projects ⓘ

Alternatives and complementary repositories for tcscode

• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆67Updated last year
• boazbk / nandnotebooks
  Jupyter notebooks with some NAND code
  ☆19Updated 5 years ago
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆41Updated 3 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆47Updated 2 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆66Updated last month
• juanklopper / Discrete-Mathematics
  Jupyter notebooks for the Klopper lectures on discrete mathematics
  ☆34Updated 8 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆44Updated 6 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated 2 months ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆41Updated 2 weeks ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆107Updated last year
• leanprover / presentations
  lean-related presentations
  ☆16Updated 9 months ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆68Updated this week
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆49Updated 9 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆61Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 2 weeks ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 2 weeks ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 2 months ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• SkienaBooks / Algorithm-Design-Manual-Programs
  A collection of programs found in `The Algorithm Design Manual (2nd Edition) by Steven Skiena`
  ☆46Updated 6 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆27Updated 11 years ago
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆14Updated 3 weeks ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆19Updated 3 years ago
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆81Updated 10 months ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 4 years ago