Alternatives and similar repositories for notes

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

• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆275Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆210Updated last month
• vEnhance / von
  Olympiad problem database
  ☆49Updated 3 weeks ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• mossr / julia-tufte-beamer
  Tufte-style beamer template with Julia integration
  ☆135Updated last year
• Nemocas / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆181Updated this week
• JuliaManifolds / Manifolds.jl
  Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
  ☆402Updated this week
• korsbo / Latexify.jl
  Convert julia objects to LaTeX equations, arrays or other environments.
  ☆576Updated 3 weeks ago
• JuliaDiff / TaylorSeries.jl
  Taylor polynomial expansions in one and several independent variables.
  ☆357Updated last month
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆373Updated 2 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆373Updated last week
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆265Updated this week
• Nemocas / Nemo.jl
  Julia bindings for the FLINT number theory C library
  ☆203Updated this week
• JuliaHomotopyContinuation / HomotopyContinuation.jl
  A Julia package for solving systems of polynomials via homotopy continuation.
  ☆195Updated 2 weeks ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• JuliaLabs / Cassette.jl
  Overdub Your Julia Code
  ☆380Updated 4 months ago
• gillescastel / masterthesis
  Master Thesis
  ☆200Updated 3 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆413Updated 2 weeks ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆92Updated 2 months ago
• chakravala / Reduce.jl
  Symbolic parser for Julia language term rewriting using REDUCE algebra
  ☆246Updated 8 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• JuliaIntervals / IntervalArithmetic.jl
  Library for validated numerics using interval arithmetic
  ☆313Updated last week
• mcabbott / Tullio.jl
  ⅀
  ☆640Updated 5 months ago
• JuliaMath / MeasureTheory.jl
  "Distributions" that might not add to one.
  ☆396Updated 2 months ago
• JuliaApproximation / ApproxFun.jl
  Julia package for function approximation
  ☆553Updated 2 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆201Updated last year
• JuliaDynamics / DynamicalBilliards.jl
  An easy-to-use, modular, extendable and absurdly fast Julia package for dynamical billiards in two dimensions.
  ☆109Updated last year
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆218Updated 3 months ago
• JuliaDiff / ForwardDiff.jl
  Forward Mode Automatic Differentiation for Julia
  ☆941Updated last week