Alternatives and similar repositories for compositionality-latex-template

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

• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated 2 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• thomasahle / noisy-bayesian-optimization
  Bayesian Optimization for very Noisy functions
  ☆18Updated 4 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆30Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆308Updated 10 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 6 years ago
• likeaj6 / alphazero-hex
  AlphaZero implemented for Hex
  ☆23Updated 7 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated this week
• DanielUranga / trainingdata-tool
  A tool for lc0 training data operations
  ☆28Updated last year
• ToposInstitute / poly
  ☆119Updated last year
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• teorth / symmetric_project
  ☆93Updated last year
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated last week
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 8 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• leanprover-community / mathzoo
  Lean mathzoo
  ☆25Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆33Updated 3 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆271Updated 11 months ago