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,085Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,450Updated this week
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆909Updated this week
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,451Updated last year
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,232Updated last week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,560Updated this week
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,030Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,387Updated this week
• IHaskell / IHaskell
  A Haskell kernel for the Jupyter project.
  ☆2,613Updated this week
• JetBrains / Arend
  The Arend Proof Assistant
  ☆703Updated this week
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆414Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,150Updated last year
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆506Updated 6 months ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,549Updated this week
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆784Updated 5 months ago
• LaurentMazare / ocaml-torch
  OCaml bindings for PyTorch
  ☆417Updated 3 months ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆929Updated last month
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆623Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,603Updated last week
• vekatze / neut
  A functional programming language with static memory management
  ☆839Updated last month
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,212Updated this week
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆724Updated 3 weeks ago
• snowleopard / alga
  Algebraic graphs
  ☆724Updated 7 months ago
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,970Updated 2 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆761Updated 2 weeks ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• 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.
  ☆295Updated 3 years ago
• probcomp / Gen.jl
  A general-purpose probabilistic programming system with programmable inference
  ☆1,801Updated 2 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,377Updated last week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆596Updated last month