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,120Updated last month
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,527Updated this week
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆919Updated this week
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,449Updated last year
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,645Updated this week
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,275Updated last month
• EnzymeAD / Enzyme
  High-performance automatic differentiation of LLVM and MLIR.
  ☆1,395Updated this week
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆774Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,429Updated this week
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆984Updated 3 weeks ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆714Updated 3 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆927Updated this week
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆318Updated 3 years ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,507Updated this week
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,042Updated 2 years ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,664Updated this week
• snowleopard / alga
  Algebraic graphs
  ☆740Updated last week
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆378Updated 2 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,244Updated this week
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,845Updated this week
• ekmett / ad
  Automatic Differentiation
  ☆384Updated 2 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆782Updated last year
• egison / egison
  The Egison Programming Language
  ☆920Updated 2 years ago
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆431Updated this week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆617Updated 3 weeks ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,003Updated this week
• LaurentMazare / ocaml-torch
  OCaml bindings for PyTorch
  ☆425Updated 7 months 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
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,046Updated last month