google-research / dex-lang
Research language for array processing in the Haskell/ML family
☆1,591Updated this week
Related projects ⓘ
Alternatives and complementary repositories for dex-lang
- Tensors and neural networks in Haskell☆1,071Updated 4 months ago
- A data-parallel functional programming language☆2,409Updated this week
- Embedded language for high-performance array computations☆904Updated 3 weeks ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,517Updated this week
- Deep Learning in Haskell☆1,449Updated 11 months ago
- High-performance automatic differentiation of LLVM and MLIR.☆1,287Updated this week
- An introduction to programming language theory in Agda☆1,372Updated this week
- A purely functional programming language with first class types☆2,528Updated 2 weeks ago
- Lean 3 Theorem Prover (community fork)☆435Updated last year
- A functional programming language with static memory management☆841Updated this week
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,222Updated this week
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- A probabilistic programming language☆311Updated 2 years ago
- ACT community resources☆465Updated 4 years ago
- A modern proof language☆3,584Updated this week
- A Proof-oriented Programming Language☆2,697Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- Algebraic graphs☆719Updated 6 months ago
- A Dependently Typed Functional Programming Language☆3,436Updated 3 months ago
- ☆788Updated this week
- Automatic Differentiation☆372Updated last month
- Industrial-strength monadic parser combinator library☆919Updated this week
- Liquid Types For Haskell☆1,196Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆768Updated 3 months ago
- OCaml bindings for PyTorch☆414Updated last month
- Functional language with intensional polymorphism and first-class staging.☆925Updated 3 weeks ago
- papers of Per Martin Löf☆754Updated 9 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆754Updated this week
- The Agda standard library☆584Updated this week