Alternatives and similar repositories for compositionality-latex-template

Users that are interested in compositionality-latex-template are comparing it to the libraries listed below

• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆84Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated this week
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 11 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• ToposInstitute / poly
  ☆125Updated last year
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆39Updated this week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆326Updated last year
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• astanin / moo
  Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-…
  ☆59Updated last year
• fpvandoorn / lean-links
  Links to recourses for the Lean Theorem Prover
  ☆10Updated 6 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆194Updated 2 weeks ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆32Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆46Updated 3 weeks ago
• xsources / Matlab-simulation-of-Schramm-Loewner-Evolution
  Description and analysis of some mathematical/physics phenomena by using simulation
  ☆19Updated last year
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated last year
• VMatthijs / CHAD
  ☆22Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago