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:
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- ☆60Dec 9, 2025Updated 2 months ago
- Optimize pipelines for locality☆14Feb 21, 2026Updated last week
- Convert Xilinx FPGA bitstream from the .bit format (as generated by Vivado) into the .bin format (as expected by Linux fpga_manager)☆14Sep 5, 2023Updated 2 years ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 6 years ago
- Core McLab features. McSAF, Tamer, Tamer+☆10Nov 6, 2019Updated 6 years ago
- ☆22Jan 15, 2026Updated last month
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- CommonsenseQA☆10Mar 28, 2020Updated 5 years ago
- My private nvim config written in lua.☆11Jul 24, 2025Updated 7 months ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- A very simple variant of adversarial training that yields excellent results on MNIST☆12Mar 19, 2016Updated 9 years ago
- If you put the question to me and asked me to reduce my answer to a single sentence, I should say that anything which gratifies one's int…☆11Sep 15, 2022Updated 3 years ago
- RCS Radar Simulator for Matlab☆12Dec 5, 2017Updated 8 years ago
- ☆10Apr 17, 2021Updated 4 years ago
- Temporal and Causal Reasoning (dataset)☆10Apr 19, 2022Updated 3 years ago
- Couple Python and Machine Learning models with Geophysical simulation codes through OASIS☆13Nov 27, 2025Updated 3 months ago
- Re-implementation of the paper KinectFusion: Real-Time Dense Surface Mapping and Tracking☆11Jan 3, 2021Updated 5 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
- Robust optical flow estimation in dynamic weathers (e.g. rain, snow, sleet, ...)☆11May 9, 2017Updated 8 years ago
- ☆12Dec 7, 2019Updated 6 years ago
- LLVM front-end for MATLAB☆15Aug 19, 2013Updated 12 years ago
- Code repository for "Portal-Based Path Perturbation for Metropolis Light Transport"☆10Oct 26, 2020Updated 5 years ago
- ☆12May 7, 2018Updated 7 years ago
- Multiview LSA☆11Jun 22, 2015Updated 10 years ago
- ☆12Aug 16, 2018Updated 7 years ago
- ☆10Oct 8, 2021Updated 4 years ago
- ☆10Oct 28, 2016Updated 9 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- A simple, well-documented, pedagogical deep learning framework implemented entirely in Python☆12Sep 27, 2020Updated 5 years ago
- [EMNLP 2020] Data and PyTorch code of ConjNLI: Natural Language Inference over Conjunctive Sentences☆11Oct 23, 2020Updated 5 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
- ☆10Jan 21, 2021Updated 5 years ago
- ASM methods to test small loop performance on x86☆13Jun 11, 2019Updated 6 years ago
- TACLe Benchmarks☆55Oct 25, 2025Updated 4 months ago
- Source code release for Temporal Gradient-Domain Path Tracing [Manzi and Kettunen et al. 2016]☆15Mar 1, 2019Updated 7 years ago
- Asymmetric Convolutional Bidirectional LSTM Networks for Text Classification☆11Mar 26, 2018Updated 7 years ago
- Full guide of 6.828 OS Lab☆15Aug 29, 2020Updated 5 years ago