compiler for fortran stencils using verified lifting,
☆20Apr 5, 2022Updated 4 years ago
Alternatives and similar repositories for stng
Users that are interested in stng are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a compiler for re-writing image processing functions in C++ to Halide☆25Jan 28, 2023Updated 3 years ago
- Remote Backend Compiler☆29Updated this week
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Dec 13, 2025Updated 6 months ago
- Snapped is a parallel program snapshotter designed for debugging deadlocks and crashes in programs. It acts as a wrapper around the GDB M…☆11Aug 26, 2024Updated last year
- ☆24Jun 7, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A program synthesis framework for verified lifting applications☆65May 24, 2026Updated 3 weeks ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Sep 7, 2025Updated 9 months ago
- Simulation infrastructure and validation of Cori☆13Mar 22, 2022Updated 4 years ago
- Multiple 1-stencil implementations using nvidia cuda.☆12Dec 2, 2017Updated 8 years ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- Makes my C++ projects easier and faster to develop☆10Jun 15, 2022Updated 4 years ago
- Example of Calling Lua from Fortran☆10Jun 22, 2015Updated 10 years ago
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- HeteroHalide: From Image Processing DSL to Efficient FPGA Acceleration☆15Sep 14, 2020Updated 5 years ago
- Haskell parser and manipulation functions for Fortran code☆17Mar 18, 2016Updated 10 years ago
- Python Front-end to GCC☆44Oct 19, 2013Updated 12 years ago
- Generate code Python source cross-reference facts in Kythe format☆26Sep 23, 2024Updated last year
- Collection of full, mini, proxy, and benchmark apps.☆11Feb 14, 2020Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- This is repository for a I/O benchmark which represents Scientific Deep Learning Workloads.☆24Dec 6, 2022Updated 3 years ago
- Repository of HW design and SW for Ultra96 board + MIPI board☆17Feb 22, 2019Updated 7 years ago
- ☆17May 29, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Literate programming for Lua☆17Jan 9, 2017Updated 9 years ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 4 years ago
- Semi-Lagrangian Library☆17Oct 23, 2023Updated 2 years ago
- Binary logical relations library for the Coq proof assistant☆23Mar 26, 2026Updated 2 months ago
- Ferrite, a toolkit for developing file system crash-consistency models☆21Sep 2, 2016Updated 9 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- StarPU Runtime system☆16Sep 22, 2010Updated 15 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- A Domain-Specific Language (DSL) for simplified music notation.☆19Jun 1, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Integration of Tiramisu (Compiler) into PyTorch☆25May 27, 2020Updated 6 years ago
- EPCC OpenACC Benchmarks☆19Sep 23, 2013Updated 12 years ago
- Tool for recursive cloning whole gitlab group tree☆18May 22, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/patus☆16Sep 3, 2015Updated 10 years ago
- Git Mirror of John Burkardt's great collection of Python Software☆20Jun 2, 2015Updated 11 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago