google-research / dex-langLinks
Research language for array processing in the Haskell/ML family
☆1,621Updated 4 months ago
Alternatives and similar repositories for dex-lang
Users that are interested in dex-lang are comparing it to the libraries listed below
Sorting:
- Tensors and neural networks in Haskell☆1,127Updated last week
- Embedded language for high-performance array computations☆922Updated 3 weeks ago
- A data-parallel functional programming language☆2,535Updated this week
- High-performance automatic differentiation of LLVM and MLIR.☆1,407Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,040Updated last week
- Automatic Differentiation☆382Updated 3 months ago
- A library for probabilistic programming in Haskell.☆432Updated last week
- Liquid Types For Haskell☆1,245Updated last week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,656Updated this week
- Koka language compiler and interpreter☆3,536Updated 3 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- Deep Learning in Haskell☆1,447Updated last year
- A purely functional programming language with first class types☆2,680Updated this week
- Hazel, a live functional programming environment with typed holes☆930Updated this week
- An introduction to programming language theory in Agda☆1,433Updated last week
- Algebraic graphs☆739Updated last month
- The MaPLe compiler: efficient and scalable parallel functional programming☆381Updated 3 months ago
- A programming language with static memory management based on λ-calculus☆1,005Updated this week
- Industrial-strength monadic parser combinator library☆946Updated 4 months ago
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,277Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- The Arend Proof Assistant☆715Updated 3 months ago
- ACT community resources☆467Updated 5 years ago
- The MLton repository☆1,015Updated this week
- My personal repository of formally verified mathematics.☆301Updated 3 months ago
- A modern proof language☆3,680Updated 5 months ago
- higher-order, no-boilerplate monads☆1,055Updated 3 months ago
- A Coq library for Homotopy Type Theory☆1,321Updated last week
- OCaml bindings for PyTorch☆425Updated 8 months ago