Alternatives and similar repositories for random-trees

Users that are interested in random-trees are comparing it to the libraries listed below

• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆291Updated this week
• kedlaya / math157
  ☆42Updated 4 years ago
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆14Updated 7 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆274Updated this week
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 10 months ago
• mkauers / ore_algebra
  ☆36Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆105Updated this week
• MathBases / MathBases
  ☆23Updated last week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆136Updated last week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆323Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆67Updated 2 years ago
• abrandenberger / course-notes
  Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…
  ☆38Updated 4 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• peraro / finiteflow
  Multivariate functional reconstruction using finite fields and dataflow graphs.
  ☆46Updated this week
• arechnitzer / CLP1
  "CLP-1 Differential Calculus" open source textbook
  ☆59Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆375Updated this week
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆31Updated 3 years ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 4 months ago
• diofant / diofant
  A Python CAS library
  ☆72Updated 2 weeks ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆28Updated this week
• MarcdeFalco / MarcdeFalco.github.io
  ☆1Updated 2 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆200Updated 8 years ago
• plastex / plastex
  plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…
  ☆318Updated 4 months ago
• 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
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago