compiler for fortran stencils using verified lifting,
☆20Apr 5, 2022Updated 3 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☆24Jan 28, 2023Updated 3 years ago
- Remote Backend Compiler☆29Sep 3, 2024Updated last year
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Dec 13, 2025Updated 3 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
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Jul 17, 2019Updated 6 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Sep 7, 2025Updated 6 months ago
- A python library for creating Kronecker Product operators with efficient lazy computation☆18Mar 23, 2024Updated 2 years ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 7 years ago
- Multiple 1-stencil implementations using nvidia cuda.☆12Dec 2, 2017Updated 8 years ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Makes my C++ projects easier and faster to develop☆10Jun 15, 2022Updated 3 years ago
- Example of Calling Lua from Fortran☆10Jun 22, 2015Updated 10 years ago
- HeteroHalide: From Image Processing DSL to Efficient FPGA Acceleration☆15Sep 14, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 years ago
- PolyHacks 2017 project☆10Dec 5, 2017Updated 8 years ago
- Python 3 library for isogeometric analysis☆61Updated this week
- LaTeX and HTML builders for Sphinx - Python documentation project☆15Sep 21, 2015Updated 10 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
- Internal sources of Power Telemetry Library. Power Telemetry Library is a golang library that provides power-related CPU info.☆14Oct 28, 2025Updated 5 months ago
- Template (Compile-time) Turing Machine in C++20☆12Jan 31, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This is repository for a I/O benchmark which represents Scientific Deep Learning Workloads.☆23Dec 6, 2022Updated 3 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- Repository of HW design and SW for Ultra96 board + MIPI board☆17Feb 22, 2019Updated 7 years ago
- Research compiler based on algorithmic skeletons☆23Oct 18, 2014Updated 11 years ago
- ☆17Feb 20, 2026Updated last month
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Literate programming for Lua☆17Jan 9, 2017Updated 9 years ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- Binary logical relations library for the Coq proof assistant☆22Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 11 months ago
- A computational tool to benchmark large-scale simulations.☆18Jan 17, 2017Updated 9 years ago
- A Domain-Specific Language (DSL) for simplified music notation.☆19Jun 1, 2015Updated 10 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Nov 23, 2016Updated 9 years ago