Alternatives and similar repositories for dpp-e2021-pub:

Users that are interested in dpp-e2021-pub are comparing it to the libraries listed below

• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated last week
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆23Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated last year
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆49Updated 2 months ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆51Updated last year
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated 7 months ago
• Yosuke-Ito-345 / Actuary
  Formalization of the basic actuarial mathematics using Coq
  ☆21Updated last month
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 8 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• danehuang / augurv2
  ☆11Updated 7 years ago
• MevenBertrand / NbEReadingGroup
  A repository for material from the reading group on NbE
  ☆17Updated last year
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 6 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 3 months ago
• math-comp / Abel
  A proof of Abel-Ruffini theorem.
  ☆28Updated 2 months ago
• coq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆19Updated 2 months ago
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆11Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 3 months ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆53Updated 2 years ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated this week
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆53Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year