philass / HarkDBLinks
Multi-backend GPU query engine written with Futhark
☆18Updated 3 years ago
Alternatives and similar repositories for HarkDB
Users that are interested in HarkDB are comparing it to the libraries listed below
Sorting:
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Haskell library of algebraic topology☆25Updated 14 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 7 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 6 months ago
- ☆44Updated 2 years ago
- Use GHC's Memory Allocator from C☆11Updated 5 years ago
- Paper: The simple essence of automatic differentiation☆23Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- A verified compiler for a lazy functional language☆37Updated this week
- Paper and talk☆55Updated 2 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 7 years ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 6 months ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- Haskell bindings to ArrayFire☆60Updated 11 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Updated 6 years ago
- MPFR bindings for Haskell☆35Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 10 months ago
- ☆32Updated 7 years ago