Compositionality / compositionality-latex-template

Related projects ⓘ

Alternatives and complementary repositories for compositionality-latex-template

• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆119Updated 2 years ago
• likeaj6 / alphazero-hex
  AlphaZero implemented for Hex
  ☆22Updated 6 years ago
• petersn / duckchess
  An engine + analysis interface for duck chess
  ☆18Updated 5 months ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆197Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 weeks ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• kedlaya / math157
  ☆41Updated 3 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆36Updated 6 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated last week
• mseri / AoM
  Lecture notes of the course Analysis On Manifolds
  ☆20Updated this week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆53Updated 3 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆21Updated 3 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆39Updated 3 weeks ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆112Updated last week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆154Updated 5 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 6 months ago
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 4 months ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆139Updated 4 years ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• sentenai / reinforce
  Reinforcement learning in haskell
  ☆45Updated 3 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• ToposInstitute / poly
  ☆109Updated 4 months ago
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆33Updated 2 years ago
• fpvandoorn / lean-links
  Links to recourses for the Lean Theorem Prover
  ☆10Updated 4 years ago