Alternatives and similar repositories for genfer

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

• leanprover / TensorLib
  A verified tensor library in Lean
  ☆24Updated last week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 8 months ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆63Updated 7 months ago
• opencompl / egg-tactic-code
  ☆16Updated last year
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated 2 weeks ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆37Updated this week
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 8 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• fpvandoorn / LeanCourse23
  ☆31Updated 8 months ago
• david-christiansen / bob24
  ☆16Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated last month
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• agentultra / lean-4-hackers
  ☆17Updated 3 years ago
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated this week
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• 0art0 / lean-slides
  A tool to auto-generate and render slides from Markdown comments in the Lean editor.
  ☆18Updated last month
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated last year
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆34Updated this week
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• fpvandoorn / lean-links
  Links to recourses for the Lean Theorem Prover
  ☆10Updated 5 years ago