Alternatives and similar repositories for flipper

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

• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 2 weeks ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• julesjacobs / boa
  Partition refinement
  ☆16Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last month
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated 2 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆18Updated 4 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆30Updated 2 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 8 months ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆29Updated last week
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• laelath / well-typed-term-generator
  A OCaml generator for well-typed terms (that use their arguments).
  ☆10Updated 8 months ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆77Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated last year
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆25Updated 2 years ago
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 4 years ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆14Updated last week
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• 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…
  ☆38Updated this week
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆27Updated 3 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 6 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 2 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago