Alternatives and similar repositories for fad

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

• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆23Updated last month
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆74Updated this week
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated 2 months ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆27Updated 3 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆28Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆77Updated 2 weeks ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 6 months ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆45Updated last month
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆23Updated last week
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆104Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated 3 weeks ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• mirefek / lean-tactic-programming-guide
  Beginner's guide to Tactic Programming in Lean
  ☆65Updated 3 months ago
• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated 2 years ago
• Seasawher / mdgen
  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  ☆23Updated last week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 8 months ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆52Updated last year
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆15Updated 6 years ago
• Timeroot / ComputableReal
  computable implementation of real numbers in Lean4
  ☆38Updated 4 months ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆34Updated 4 years ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆165Updated last week
• RemyDegenne / brownian-motion
  Construction of a Brownian Motion in Lean
  ☆27Updated this week
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆39Updated last week
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆32Updated 8 months ago
• lrsantos11 / Tutorial-Julia-Opt
  ☆13Updated last year
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆15Updated last week
• cameronfreer / lean4-skills
  Claude skills for Lean 4 theorem proving
  ☆41Updated 2 weeks ago