nimit-singhania / loopyView external linksLinks
A system for programming formally-verified loop transformations.
☆16Jan 31, 2019Updated 7 years ago
Alternatives and similar repositories for loopy
Users that are interested in loopy are comparing it to the libraries listed below
Sorting:
- Optimize pipelines for locality☆14Jan 26, 2026Updated 2 weeks ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 5 years ago
- A Slot-filling based Dialog Manager for Task-oriented Bot☆12Dec 29, 2016Updated 9 years ago
- Author Profiling for Abuse Detection (COLING 2018)☆10Dec 8, 2022Updated 3 years ago
- An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE☆18Aug 5, 2022Updated 3 years ago
- Re-implementation of the paper KinectFusion: Real-Time Dense Surface Mapping and Tracking☆11Jan 3, 2021Updated 5 years ago
- Core McLab features. McSAF, Tamer, Tamer+☆10Nov 6, 2019Updated 6 years ago
- AMD Software Development Kit 2.5 Sources☆10Feb 29, 2016Updated 9 years ago
- ☆11Nov 16, 2022Updated 3 years ago
- Steklov Spectral Geometry for Extrinsic Shape Analysis☆12Aug 9, 2024Updated last year
- CommonsenseQA☆10Mar 28, 2020Updated 5 years ago
- My private nvim config written in lua.☆11Jul 24, 2025Updated 6 months ago
- A very simple variant of adversarial training that yields excellent results on MNIST☆12Mar 19, 2016Updated 9 years ago
- CUDA Tensor Transpose (cuTT) library☆10Sep 24, 2021Updated 4 years ago
- Public codebase for ECONET: EMNLP'21☆12Mar 11, 2022Updated 3 years ago
- LLVM front-end for MATLAB☆15Aug 19, 2013Updated 12 years ago
- Automatic Differentiation Library☆10Sep 28, 2025Updated 4 months ago
- ☆10Aug 25, 2022Updated 3 years ago
- Multiview LSA☆11Jun 22, 2015Updated 10 years ago
- Incremental Learning the Hierarchical Softmax Function for Neural Language Models☆11Dec 6, 2016Updated 9 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- A demo 1-to-1 implementation with high availability in Golang for Raft, based on 6.824's raft labs. (NJU dissys course's lab code)☆13Dec 30, 2021Updated 4 years ago
- Resources for the SIAMCSE21 minitutorial "Automatic Differentiation as a Tool for Computational Science"☆14Apr 2, 2021Updated 4 years ago
- ☆15Aug 28, 2023Updated 2 years ago
- code related to "UNSURE: Unknown Noise level Stein's Unbiased Risk Estimator" by Tachella, Davies and Jacques☆13Nov 21, 2025Updated 2 months ago
- An Efficient Language Model Using Double-Array Structures☆17Aug 10, 2020Updated 5 years ago
- A collection of document for ChatScript dialog engine☆12Apr 28, 2017Updated 8 years ago
- Pytorch implementation of the RaSoR paper "Learning Recurrent Span Representations for Extractive Question Answering" (Lee et al. 2016) a…☆15May 8, 2017Updated 8 years ago
- variant type for CUDA☆12Nov 14, 2015Updated 10 years ago
- ☆11Jun 13, 2025Updated 8 months ago
- ROS node for collecting data from one or more cameras/depth sensors☆11Jan 22, 2015Updated 11 years ago
- An attempt at achieving the theoretical best memory bandwidth of my machine.☆54May 19, 2013Updated 12 years ago
- Distributed Audio Array Matlab Toolbox for public viewing and use. For more information, read here: http://vis.uky.edu/distributed-audio-…☆12Mar 6, 2019Updated 6 years ago
- Yum Extender - A gui for Yum☆20Dec 5, 2015Updated 10 years ago
- Bilingual sentence aligner (Gale & Church, 1993)☆14Jan 8, 2026Updated last month
- Accompanies the paper "Learnability and Semantic Universals" ; trains recurrent neural networks to learn to verify sentences with quantif…☆11Aug 10, 2019Updated 6 years ago
- We define and estimate smooth unique information of samples with respect to classifier weights and predictions. We compute these quantiti…☆11Mar 9, 2021Updated 4 years ago
- PyCOMPSs AutoParallel☆12Aug 27, 2020Updated 5 years ago
- MessagePack bindings for Zig / msgpack.org[Zig]☆15Jul 3, 2025Updated 7 months ago