A friendly programming language from the future

Agda is a dependently typed programming language / interactive theorem prover.

💥💻💥 A data-parallel functional programming language

The Eta Programming Language, a dialect of Haskell on the JVM

Research language for array processing in the Haskell/ML family

Deep Learning in Haskell

Tensors and neural networks in Haskell

A functional programming language with static memory management

Embedded language for high-performance array computations

The Egison Programming Language

Learn Haskell, with tiny lessons.

A Programming Language for Deep Learning

A fast functional language based on two level type theory

PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.

A typed, polyglot, functional language

Heterogeneous automatic differentiation ("backpropagation") in Haskell

Deep learning via category theory and functional programming

Haskell bindings for MLIR

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

Linear Algebra of Programming - Algebraic Matrices in Haskell

Many-dimensional type-safe numeric ops

Reexporting TensorFlow Haskell with dependent typed functions

Tensors in Haskell

eta-spark is a library that provides complete bindings for Apache Spark

typesafe implementation of tensor algebra in Haskell

Differentiable Functional Language