Alternatives and similar repositories for dex-lang

Users that are interested in dex-lang are comparing it to the libraries listed below

• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,176Updated 2 weeks ago
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆947Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,661Updated this week
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,322Updated 4 months ago
• LaurentMazare / ocaml-torch
  OCaml bindings for PyTorch
  ☆435Updated last year
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆442Updated this week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,486Updated this week
• snowleopard / alga
  Algebraic graphs
  ☆750Updated 2 weeks ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,059Updated 7 months ago
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,451Updated 2 years ago
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆298Updated 4 years ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆417Updated last week
• ekmett / ad
  Automatic Differentiation
  ☆388Updated last week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,849Updated 2 weeks ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆792Updated 3 weeks ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,008Updated this week
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆736Updated 11 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,285Updated 2 weeks ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆808Updated 2 years ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,783Updated this week
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆932Updated 2 months ago
• google-deepmind / chex
  ☆923Updated this week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆694Updated 2 weeks ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆470Updated 6 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆943Updated 2 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆446Updated this week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,666Updated last year