Alternatives and similar repositories for compositionality-latex-template

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

• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated 2 weeks ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆23Updated last week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆168Updated 6 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated 3 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆46Updated this week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆214Updated last year
• teorth / symmetric_project
  ☆93Updated 2 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆32Updated 3 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 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…
  ☆31Updated 4 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 9 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆128Updated last year
• likeaj6 / alphazero-hex
  AlphaZero implemented for Hex
  ☆24Updated 7 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Updated 2 years ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆80Updated 2 weeks ago