Alternatives and similar repositories for fcla:

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

• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆166Updated 7 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆278Updated this week
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated 3 weeks 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 10 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆93Updated last month
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆15Updated this week
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 10 months ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆62Updated 3 weeks ago
• michal-h21 / rdfref
  Cross-referencing system for LaTeX, inspired with RDF
  ☆16Updated 4 months ago
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆67Updated last year
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆62Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆22Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• XimeraProject / server
  ☆59Updated 3 weeks ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 6 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆101Updated last month
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆189Updated last year
• 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
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 8 months 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
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year