Alternatives and similar repositories for forest

Users that are interested in forest are comparing it to the libraries listed below

• kentookura / forester.nvim
  Neovim plugin for forester
  ☆18Updated last year
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆14Updated this week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆22Updated 2 months ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆41Updated 6 months ago
• LocalCharts / silviculture
  ☆16Updated last year
• kentookura / forest-server
  A server for the forester tool
  ☆17Updated last year
• rzk-lang / hottbook
  HoTT Book formalisations in Rzk.
  ☆20Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆67Updated last year
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 4 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆41Updated last year
• FlorianAdler / inftyCats
  ☆14Updated 5 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 3 months ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆41Updated 2 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆26Updated 9 months ago
• NoahStoryM / ctp
  Category Theory in Programming
  ☆13Updated 2 weeks ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• paolobrasolin / string-diagrams
  Create string diagrams with LaTeX!
  ☆14Updated last year
• 658060 / topos
  Topos theory in Lean 4
  ☆16Updated last year
• Shamrock-Frost / BrouwerFixedPoint
  ☆18Updated 2 weeks ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆27Updated last year
• hargoniX / pfmt
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Updated 10 months ago
• alok / LeanPlot
  Interactive React-powered charting library for Lean 4 in VS Code's infoview
  ☆13Updated last month
• alhassy / org-agda-mode
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆20Updated 4 years ago
• tydeu / lean4-partax
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Updated 2 years ago
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆29Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago