Alternatives and similar repositories for flipper:

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

• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 6 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆24Updated 4 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated last week
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 4 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated last month
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• lambda-11235 / ttyped
  A simple dependently typed language based on the Calculus of Constructions.
  ☆16Updated 4 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆36Updated this week
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 9 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 6 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 2 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 5 months ago
• maxsnew / grammars-and-semantic-actions
  Monoidal Toposes of Grammars and Semantic Actions
  ☆19Updated this week
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated last month
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• JacquesCarette / pi-dual
  Collaborative work on reversible computing
  ☆25Updated 3 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 10 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆51Updated last year
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago