mortvest / hastl
HaSTL: A fast GPU implementation of STL decomposition with missing values and support for both CUDA and OpenCL
☆12Updated last year
Alternatives and similar repositories for hastl
Users that are interested in hastl are comparing it to the libraries listed below
Sorting:
- Python library using the Futhark C backend via CFFI☆24Updated 2 years ago
- Linear algebra package for Futhark☆17Updated 4 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- Multi-backend GPU query engine written with Futhark☆18Updated 2 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 6 months ago
- Linear lens☆20Updated last year
- There are many category theory implementations, but this one is mine☆16Updated 8 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last week
- functional spreadsheet programming☆19Updated last month
- Probabilistic Functional Logic Programming☆16Updated last month
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Updated this week
- ☆16Updated last year
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Library for writing interactive and visual Futhark programs☆22Updated 11 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Test monadic programs using state machine based models☆17Updated 8 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 3 months ago
- Practical Deep Learning in Haskell now!☆51Updated 2 years ago
- GPU Implementation for BFAST☆40Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Byte-level byte pair encoding (BPE) in Haskell☆15Updated 11 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- A verified compiler for a lazy functional language☆36Updated this week
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- Call Futhark programs from Standard ML☆10Updated 8 months ago
- Session types framework with support of protocol pipelining.☆15Updated this week
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 2 months ago
- Seamlessly deploy your existing Wai application on AWS Lambda.☆13Updated 2 years ago