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,103Updated last month
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆913Updated 2 months ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• google-deepmind / chex
  ☆838Updated last week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,494Updated this week
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,451Updated last year
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,250Updated 2 weeks 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.
  ☆293Updated 3 years ago
• snowleopard / alga
  Algebraic graphs
  ☆737Updated 10 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,035Updated last year
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆507Updated 9 months ago
• EnzymeAD / Enzyme
  High-performance automatic differentiation of LLVM and MLIR.
  ☆1,360Updated this week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,600Updated last week
• patrick-kidger / equinox
  Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
  ☆2,273Updated this week
• ekmett / ad
  Automatic Differentiation
  ☆376Updated 3 weeks ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,041Updated last week
• google-deepmind / optax
  Optax is a gradient processing and optimization library for JAX.
  ☆1,839Updated this week
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆424Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,647Updated 2 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆845Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,415Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,460Updated last week
• google-deepmind / dm-haiku
  JAX-based neural network library
  ☆2,996Updated 2 weeks ago
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,300Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,623Updated this week
• tensorflow / haskell
  Haskell bindings for TensorFlow
  ☆1,590Updated 7 months ago
• google-deepmind / tree
  tree is a library for working with nested data structures
  ☆974Updated last month
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆994Updated last week
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆773Updated last year