Alternatives and similar repositories for tcscode:

Users that are interested in tcscode are comparing it to the libraries listed below

• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆42Updated 4 years ago
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆70Updated 3 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated this week
• boazbk / nandnotebooks
  Jupyter notebooks with some NAND code
  ☆19Updated 6 years ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆219Updated 3 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated this week
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• SkienaBook / Algorithm-Design-Manual-Programs-V2
  Programs for the second edition of the Algorithm Design Manual
  ☆18Updated 4 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 7 months ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆29Updated 11 months ago
• j2kun / book-template
  A LaTeX template I used for pimbook
  ☆42Updated 4 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• ImperialCollegeLondon / lean-maths-examples
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆13Updated 3 years ago
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆59Updated 3 months ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆14Updated 7 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated last year
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆20Updated 2 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆166Updated 7 months ago
• AMouri / artin-algebra
  Solutions to Algebra, by Michael Artin.
  ☆33Updated 8 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• cs61 / cs61-lectures
  CS61 lecture material
  ☆97Updated 3 months ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆39Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year