An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations
☆31Nov 17, 2025Updated 4 months ago
Alternatives and similar repositories for spla
Users that are interested in spla are comparing it to the libraries listed below
Sorting:
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- A python library to manipulate formal languages and various automata☆59Sep 4, 2025Updated 6 months ago
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated 2 months ago
- Kotlin extensions / Interfaces that extends the Java/Scala implementation/implicits of Smile NLP. Basically a simplification for Kotlin (…☆14Mar 31, 2020Updated 5 years ago
- The PERPL Compiler☆14Oct 17, 2025Updated 5 months ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Simple Qt OpenGL SVG rendering benchmark☆15Sep 18, 2011Updated 14 years ago
- ☆15Feb 15, 2026Updated last month
- A platform for analysis of Java bytecode☆39Oct 14, 2024Updated last year
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- A javascript bot that automatically purchases limited edition NFTs from Binance NFT☆12Sep 26, 2021Updated 4 years ago
- ☆11Jun 14, 2024Updated last year
- A CUDA-based multi-GPU vertex-centric graph processing framework based on Warp Segmentation and Vertex Refinement techniques.☆12Mar 20, 2017Updated 9 years ago
- ☆14Apr 6, 2023Updated 2 years ago
- Stardew Valley Designer is a free and open-source Stardew Valley farm editor. The goal of this project is to provide a finely tuned, feat…☆16Jun 29, 2024Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆54Mar 2, 2026Updated 2 weeks ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 6 months ago
- Voila! A smart automatic pet feeder using Arduino Uno + RTC time module for scheduling + multiple sensors.☆10Jun 4, 2024Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated last year
- an efficient, self-adjusting key-value trie-index abstraction for sparse tuple spaces☆11Nov 2, 2023Updated 2 years ago
- Object-Oriented Programming☆12Aug 26, 2021Updated 4 years ago
- High-Performance Linear Algebra-based Graph Primitives on GPUs☆235Jul 2, 2021Updated 4 years ago
- React Native WebGL extension to rasterize a view as a GL Texture.☆15Sep 10, 2018Updated 7 years ago
- 🎨 TailwindCSS utility to override background fill color using shadow.☆13Jan 1, 2024Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- code for EMNLP2018 paper 'Associative-multichannel-autoencoder for multimodal word representation'☆13Aug 24, 2018Updated 7 years ago
- A Haskell library of GRaph Algorithms and Data Structures☆18Feb 3, 2023Updated 3 years ago
- Extension of pbrt-v3 implementing the SIGGRAPH NA 2023 paper "A Practical Walk-on-Boundary Method for Boundary Value Problems"☆18Jul 26, 2023Updated 2 years ago
- ☆12Nov 5, 2016Updated 9 years ago
- ☆16Jul 28, 2021Updated 4 years ago
- 🎨 TailwindCSS utility to override foreground fill color of text content.☆11Nov 1, 2023Updated 2 years ago
- MIPS assembler intended for assembling small code patches☆13Jun 10, 2024Updated last year
- Bioinformatics library in Kotlin☆36Feb 27, 2026Updated 3 weeks ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆29Feb 5, 2025Updated last year
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Intermediate Modern Fortran☆13Apr 30, 2025Updated 10 months ago
- Nonlinear Krylov acceleration of fixed-point and Newton-like methods☆17Mar 30, 2021Updated 4 years ago