Alternatives and similar repositories for flipper

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

• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆24Updated last week
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• uwplse / CoqAST
  Fun plugin to play with the Gallina AST.
  ☆38Updated 5 years ago
• jkoppel / ecta
  ☆35Updated last year
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 3 years ago
• JacquesCarette / Notes
  ☆13Updated 2 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 8 months ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 6 months ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated 2 weeks ago
• frex-project / agda-fragment
  Algebraic proof discovery in Agda
  ☆33Updated 3 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆19Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated 2 months ago
• pigworker / LEOG
  being an implementation of the calculus of constructions
  ☆17Updated 2 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• tsung-ju / SystemF
  An Agda formalization of System F and the Brown-Palsberg self-interpreter
  ☆24Updated 4 years ago