A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels
☆19Jun 17, 2015Updated 10 years ago
Alternatives and similar repositories for Weft
Users that are interested in Weft are comparing it to the libraries listed below
Sorting:
- ☆17Sep 20, 2021Updated 4 years ago
- Emulating DMA Engines on GPUs for Performance and Portability☆41May 17, 2015Updated 10 years ago
- Full-speed Array of Structures access☆176Apr 25, 2023Updated 2 years ago
- Learning through minimalistic server implementations.☆10Oct 20, 2024Updated last year
- A list of (detailed, non-stochastic) action potential models, with links to papers, source code, CellML and Myokit implementations☆11Updated this week
- Perl script to generate "quality-of-guess" feedback for users about their requested Slurm walltimes.☆10Jul 15, 2018Updated 7 years ago
- LightFlow: An intuitive, user-friendly framework for optics and photonics simulations, designed for educational and research applications…☆12Sep 8, 2023Updated 2 years ago
- ☆10Jan 11, 2024Updated 2 years ago
- Photonic Human Identification based on Deep Learning of Back Scattered Laser Speckle Patterns☆14Nov 22, 2022Updated 3 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- Use CUDA intrinsics with user-defined types☆48Aug 14, 2014Updated 11 years ago
- ☆12Sep 9, 2024Updated last year
- A collection of cwl-ica workflows along with a user guide for the commands to use and contributions guide☆13Feb 10, 2026Updated 2 weeks ago
- A straightforward (complete) sample of how to implement AES-GCM by using Linux crypto API at kernel side☆12Oct 6, 2022Updated 3 years ago
- ☆11Jun 11, 2021Updated 4 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- Finite Element tools in Julia: Meshing of medical images☆11Apr 18, 2025Updated 10 months ago
- RISC-V System on Chip Builder☆12Sep 27, 2020Updated 5 years ago
- Awesome list for Computational Physiology☆10Oct 29, 2025Updated 4 months ago
- ☆10Oct 24, 2019Updated 6 years ago
- Multiscale simulation of multi-cellular system☆11Updated this week
- Network based loader and flasher for Pano G2 devices☆15Jul 8, 2023Updated 2 years ago
- AHKv2 Screenshot Tools for AHKv2 based on the GDI+ library☆13Nov 21, 2023Updated 2 years ago
- Informationssammlung zu Arsenal, Eskalationsrisiken, Einsatz und Auswirkungen☆12Mar 17, 2022Updated 3 years ago
- TikZ version of the standard model graphic from particle fever☆11Apr 23, 2020Updated 5 years ago
- Automated PS3 integration tests for emulators☆17Mar 23, 2016Updated 9 years ago
- An accelerated framework for manipulating and interpreting high-throughput sequencing data☆26Jul 9, 2013Updated 12 years ago
- Efficient Scientific Computing in Julia -- Workshop OIST 2019☆10Jul 19, 2019Updated 6 years ago
- Next generation ODE translator☆12Updated this week
- 2D Cine DENSE Post-Processing Software☆12Jun 21, 2024Updated last year
- Supplemental code and dataset for the ACM CHI 2021 paper on "Proxemics and Social Interactions in an Instrumented Virtual Reality Worksho…☆16Jan 15, 2021Updated 5 years ago
- ☆11Jul 2, 2024Updated last year
- Java-like Language with Static Information Flow Types☆13May 5, 2025Updated 9 months ago
- Calculate the groundstate energy of 1D and 2D Fermi-Hubbard model on the GPU with Cuda.☆14Aug 30, 2017Updated 8 years ago
- A graph pattern mining framework for large graphs on gpu.☆15Dec 9, 2024Updated last year
- Incrementally compute an approximate truncated singular value decomposition☆15Dec 15, 2025Updated 2 months ago
- ☆13Oct 6, 2024Updated last year
- Julia wrapper for Delaunay/Voronoi library☆12Jan 23, 2022Updated 4 years ago
- Julia package for quantum circuit generation☆14Jan 22, 2022Updated 4 years ago