Alternatives and similar repositories for fad

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

• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated 2 months ago
• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆21Updated last week
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆66Updated last week
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 8 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆51Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆30Updated 3 years ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆14Updated 2 weeks ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆38Updated this week
• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆41Updated last week
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated last week
• dselsam / binport
  A tool for building Lean4 .olean files from Lean3 export data
  ☆10Updated 4 years ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 3 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆71Updated 9 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• Timeroot / ComputableReal
  computable implementation of real numbers in Lean4
  ☆36Updated last month
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆72Updated this week
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆64Updated last week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆100Updated last year
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆92Updated 3 weeks ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated 3 weeks ago
• TheCedarPrince / LuxCat.jl
  Using Luxor.jl to design common diagrams found in Category Theory 🐱
  ☆13Updated 3 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆423Updated 2 months ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated this week
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last week
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆18Updated this week
• sinhp / ProofLab
  ☆9Updated 2 years ago
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆21Updated last month