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,093Updated this week
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆913Updated last month
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,465Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,600Updated this week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,574Updated this week
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,245Updated last month
• EnzymeAD / Enzyme
  High-performance automatic differentiation of LLVM and MLIR.
  ☆1,338Updated this week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,408Updated this week
• 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
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,452Updated last year
• leanprover / lean3
  Lean Theorem Prover
  ☆2,150Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆887Updated this week
• tensorflow / haskell
  Haskell bindings for TensorFlow
  ☆1,590Updated 6 months ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆764Updated 3 weeks ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,629Updated 3 weeks ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆393Updated last year
• snowleopard / alga
  Algebraic graphs
  ☆734Updated 9 months ago
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆417Updated this week
• vekatze / neut
  A functional programming language with static memory management
  ☆841Updated last week
• google-deepmind / tree
  tree is a library for working with nested data structures
  ☆972Updated 3 weeks ago
• janestreet / incremental
  A library for incremental computations
  ☆896Updated 3 months ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,789Updated this week
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆825Updated 7 months ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,441Updated this week
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,225Updated last week
• LaurentMazare / ocaml-torch
  OCaml bindings for PyTorch
  ☆422Updated 4 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆767Updated last year
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆930Updated this week