google-research / dex-lang
Research language for array processing in the Haskell/ML family
☆1,613Updated 3 months ago
Alternatives and similar repositories for dex-lang:
Users that are interested in dex-lang are comparing it to the libraries listed below
- Tensors and neural networks in Haskell☆1,112Updated 2 weeks ago
- Embedded language for high-performance array computations☆917Updated 2 weeks ago
- A data-parallel functional programming language☆2,507Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,627Updated this week
- An introduction to programming language theory in Agda☆1,420Updated last week
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,270Updated 2 weeks ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- A framework for applied category theory in the Julia language☆647Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆771Updated last month
- Automatic Differentiation☆382Updated 2 months ago
- A library for probabilistic programming in Haskell.☆429Updated this week
- A purely functional programming language with first class types☆2,651Updated 2 weeks ago
- Lean Theorem Prover☆2,151Updated last year
- Liquid Types For Haskell☆1,238Updated this week
- OCaml bindings for PyTorch☆423Updated 6 months ago
- A programming language with static memory management based on λ-calculus☆999Updated 3 weeks ago
- Deep Learning in Haskell☆1,451Updated last year
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆612Updated last month
- The Arend Proof Assistant☆713Updated 2 months ago
- Algebraic graphs☆737Updated 11 months ago
- Domain-Specific Languages of Mathematics☆436Updated last month
- A probabilistic programming language☆319Updated 3 years ago
- Haskell bindings for TensorFlow☆1,595Updated 8 months ago
- A Proof-oriented Programming Language☆2,836Updated this week
- The Agda standard library☆611Updated 2 weeks ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- Koka language compiler and interpreter☆3,489Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆922Updated this week
- papers of Per Martin Löf☆780Updated last year