Alternatives and similar repositories for fad:

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

• maxbiostat / Computational_Statistics
  Course materials for Computational Statistics, PhD course at EMAp.
  ☆35Updated last week
• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆24Updated this week
• lrsantos11 / Tutorial-Julia-Opt
  ☆13Updated last year
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆35Updated 3 months ago
• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆19Updated 2 weeks ago
• raphaeltinarrage / EMAp
  ☆13Updated 4 years ago
• matwerner / fgv-lp
  ☆16Updated 4 months ago
• Timeroot / ComputableReal
  computable implementation of real numbers in Lean4
  ☆33Updated this week
• paulaneeley / modal
  ☆14Updated 4 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆54Updated last week
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆45Updated last week
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆53Updated 4 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆77Updated 3 years ago
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 10 months ago
• BrownCS1951x / fpv2023
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆13Updated last year
• hhu-adam / Robo
  A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
  ☆19Updated this week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated 2 weeks ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated 3 weeks ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆44Updated 10 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆60Updated 8 months ago
• siddhartha-gadgil / MetaExamples
  Examples using MetaProgramming for writing tactics etc.
  ☆18Updated last month
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 3 weeks ago
• barrafas / Monitoria_LP
  ☆10Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated 2 weeks ago
• sinhp / ProofLab
  ☆9Updated last year
• frenzymath / jixia
  A static analysis tool for Lean 4.
  ☆67Updated this week
• Shamrock-Frost / BrouwerFixedPoint
  ☆17Updated 8 months ago