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:
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Paper and talk☆55Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Haskell library of algebraic topology☆26Updated 14 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- HoTT in Lean 3☆82Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 7 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 3 months ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated 2 years ago
- Finite field and algebraic extension field arithmetic☆53Updated last year
- Real number computation software☆129Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Updated 4 years ago
- ICFP tutorial☆39Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 7 years ago
- ☆32Updated 7 years ago
- Compositional type checking for Haskell☆38Updated 14 years ago
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 7 years ago
- Linear algebra package for Futhark☆17Updated 3 months ago
- A prototypical dependently typed languages with sized types and variances☆115Updated 5 months ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆30Updated 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
- A showcase of interesting code and proof developments in Cedille☆36Updated 6 months ago