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:
- Remote Backend Compiler☆29Jun 25, 2026Updated last 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
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Jul 17, 2019Updated 6 years ago
- A program synthesis framework for verified lifting applications☆65May 24, 2026Updated last month
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Sep 7, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications☆23Mar 3, 2025Updated last year
- Fast multidimensional algorithms☆18Feb 8, 2020Updated 6 years ago
- ☆17Jun 16, 2026Updated 3 weeks ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 7 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 11 years ago
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 years ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Nov 30, 2016Updated 9 years ago
- Python 3 library for isogeometric analysis☆62Jun 30, 2026Updated last week
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆52Jun 15, 2023Updated 3 years ago
- 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
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Template (Compile-time) Turing Machine in C++20☆12Jan 31, 2021Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 7 years ago
- Repository of HW design and SW for Ultra96 board + MIPI board☆17Feb 22, 2019Updated 7 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.
- Scalable GPU Kernel Fission/Fusion Transformation for Memory-Bound Kernels☆14Aug 26, 2015Updated 10 years ago
- Research compiler based on algorithmic skeletons☆23Oct 18, 2014Updated 11 years ago
- ☆17May 29, 2026Updated last month
- 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
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆12Jul 15, 2022Updated 3 years ago
- StarPU Runtime system☆16Sep 22, 2010Updated 15 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated last year
- A computational tool to benchmark large-scale simulations.☆18Jan 17, 2017Updated 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.
- A Domain-Specific Language (DSL) for simplified music notation.☆19Jun 1, 2015Updated 11 years ago
- 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
- Automatically exported from code.google.com/p/patus☆16Sep 3, 2015Updated 10 years ago
- Julia package to compute weights and points for the classical Gauss quadrature rules☆24Aug 28, 2023Updated 2 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago