Series of lectures on Scientific Methodology and Performance Evaluation
☆72Jan 28, 2026Updated 4 months ago
Alternatives and similar repositories for SMPE
Users that are interested in SMPE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High-Level Nets Blaster for the Model-Checking Contest☆12Jan 18, 2026Updated 5 months ago
- Standalone libgomp with MIC backend for explicit CUDA-like Xeon Phi device programming☆12Apr 5, 2016Updated 10 years ago
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆14Jun 10, 2026Updated last week
- org-mode beamer export template for nice looking presentation with code listings☆16Nov 25, 2018Updated 7 years ago
- An example platform integrating a flask client, a golang server with mongoDb and gRPC for communication☆10Dec 19, 2017Updated 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.
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆74Aug 8, 2021Updated 4 years ago
- Detect memory access patterns of parallel applications☆19Feb 7, 2019Updated 7 years ago
- A proposal for a standard parallel algorithms library for ISO C++.☆22Feb 28, 2014Updated 12 years ago
- A simple Mali 6xx/7xx register interface model that doesn't do any rendering.☆13Jan 29, 2016Updated 10 years ago
- A 3D multi-material Arbitrary Lagrangian-Eulerian hydrocode☆19Mar 25, 2020Updated 6 years ago
- Software to support people learning OpenMP with our book ... The OpenMP Common Core: Making OpenMP Simple Again☆83Nov 12, 2023Updated 2 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- AutoParBench is a benchmark framework to evaluate compilers and tools designed to automatically insert OpenMP directives.☆12Nov 6, 2020Updated 5 years ago
- Lua on Parrot☆43May 10, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- `@code_costs`: a variant of `@code_typed` with estimated costs☆13Sep 1, 2020Updated 5 years ago
- Opinionated Framework for Developing Packages 🤷☆10Apr 27, 2018Updated 8 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Jun 10, 2026Updated last week
- Vagrant box to test Docker Desktop with Linux/Windows containers☆18Jun 23, 2020Updated 5 years ago
- CPU and GPU tutorial examples☆13Apr 4, 2025Updated last year
- Keras tutorial code for the SC18 tutorial on Deep Learning at Scale☆12Nov 12, 2018Updated 7 years ago
- Literate Dotfiles via Org-Mode☆27May 20, 2026Updated 3 weeks ago
- Check for attachments when writing mails with mutt☆30Mar 7, 2024Updated 2 years ago
- EPCC OpenACC Benchmarks☆19Sep 23, 2013Updated 12 years 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.
- [deprecated] R Companion to Montgomery's Design and Analysis of Experiments☆15Apr 27, 2015Updated 11 years ago
- A pure-Julia, BLIS-style dgemm demo.☆16Sep 13, 2018Updated 7 years ago
- ☆13Mar 1, 2026Updated 3 months ago
- ☆16Jun 17, 2017Updated 9 years ago
- Instructions and templates for SC authors☆17Aug 22, 2021Updated 4 years ago
- Converts the Twitter export files (JSON format) into an Emacs Org-mode file☆14Jun 25, 2017Updated 8 years ago
- My dotfiles, and let’s not lie, mainly Emacs stuff. Mirror of https://labs.phundrak.com/phundrak/dotfiles☆34Updated this week
- ☆11Sep 17, 2024Updated last year
- A simple dot file / graph generator for Verilog syntax trees.☆23Jul 16, 2016Updated 9 years 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.
- Numba GPU tutorial notebooks for PyData Amsterdam 2019☆23Aug 14, 2024Updated last year
- The Python book for developers who miss curly braces. Learn real Python while complaining about whitespace. 15 chapters of education, com…☆15Aug 21, 2025Updated 9 months ago
- WIP braindump☆10Jul 17, 2022Updated 3 years ago
- a collection of .config files which work for certain machines☆10Jun 9, 2026Updated last week
- An SMT solver frontend for OCaml☆79Jun 10, 2026Updated last week
- A Monte Carlo Neutron Transport Mini-App☆15Apr 15, 2019Updated 7 years ago
- Script to easily setup Nix and NixOps for use on Mac☆22May 19, 2015Updated 11 years ago