Composable and efficient abstractions for iterating multidimensional spaces in C++
☆10Nov 22, 2023Updated 2 years ago
Alternatives and similar repositories for spaces
Users that are interested in spaces are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C++20 and onward collection of high performance data containers and related tools☆56Mar 14, 2026Updated last week
- Sequential and parallel GEMM implementations with C interface + Benchmark.☆12May 24, 2016Updated 9 years ago
- Input files for reproducing simulations in https://doi.org/10.1016/j.ssci.2020.104866☆13Jan 12, 2021Updated 5 years ago
- WG21 Proposals and Drafts☆14Jan 6, 2022Updated 4 years ago
- homogeneous variadic function parameters☆18Feb 20, 2024Updated 2 years ago
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- A vectorizable multi-dimensional iterator for C++ using the Coroutines TS☆12Jun 5, 2022Updated 3 years ago
- Material for a course about the use of modern C++ for scientific computation☆29Apr 10, 2025Updated 11 months ago
- Structure-of-array synthesis in C++20☆85May 27, 2022Updated 3 years ago
- A hooking-based mod for Half-Life TASing☆13Dec 6, 2015Updated 10 years ago
- improve the usage experience of std::simd (Parallelism TS 2)☆32Aug 22, 2025Updated 7 months ago
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 5 years ago
- A first-order concurrent automated theorem prover☆23Aug 29, 2025Updated 6 months ago
- Non-empty Vectors☆26Apr 17, 2025Updated 11 months ago
- A monad for interfacing with external SMT solvers☆15Dec 12, 2025Updated 3 months ago
- ☆21Sep 8, 2021Updated 4 years ago
- VTK (C++ 3D graphics library) wrapped into an easy to use 3D equivalent of matplotlib☆45Jan 14, 2024Updated 2 years ago
- A Low-Level Abstraction of Memory Access☆92Feb 29, 2024Updated 2 years ago
- Exercises for the CERN Openlab GPU lecture☆12Jul 22, 2025Updated 8 months ago
- A statically typed embedding of miniKanren in Haskell☆25Jun 8, 2025Updated 9 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
- A simple to use, single header, tag_invoke utility for C++11.☆16Nov 27, 2022Updated 3 years ago
- C++20 Compact Tuple Tools☆57Updated this week
- Various documents and code related to proposals for WG21☆66Aug 5, 2024Updated last year
- Data structures for ASTs☆14Dec 6, 2022Updated 3 years ago
- Tools for writing more functional c++ code.☆12Feb 27, 2018Updated 8 years ago
- DLBFoam: An open-source dynamic load balancing model for fast reacting flow simulations in OpenFOAM. https://doi.org/10.1016/j.cpc.2021.1…☆36Jun 30, 2021Updated 4 years ago
- devector and batch_deque containers for C++. See more at: http://erenon.hu/double_ended☆15Oct 7, 2017Updated 8 years ago
- VTK for rust, proof of concept.☆12May 14, 2016Updated 9 years ago
- Simple (well, gettin' more complex) Raycaster to learn Zig☆13Nov 14, 2024Updated last year
- Clone of the Chaos CVS repository using git-cvsimport.☆12Jun 24, 2012Updated 13 years ago
- ☆13Apr 18, 2024Updated last year
- Portable auto-vectorizable n-body benchmark☆20Feb 25, 2026Updated 3 weeks ago
- Meta repo for Buckaroo package requests ✨☆10Feb 1, 2019Updated 7 years ago
- Comparison operators for std::span☆16Mar 27, 2020Updated 5 years ago
- Automatically exported from code.google.com/p/aobench☆22Aug 2, 2024Updated last year
- ☆17Dec 15, 2016Updated 9 years ago
- Distributed View Extension for Kokkos☆50Dec 2, 2024Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Feb 13, 2025Updated last year