Parallel Self-Adjusting Computation
☆19Jul 5, 2021Updated 5 years ago
Alternatives and similar repositories for psac
Users that are interested in psac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- ☆14Apr 24, 2024Updated 2 years ago
- Parallel Stable Sort☆15Oct 11, 2015Updated 10 years ago
- Various mechanized proof files for fun.☆16Updated this week
- 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.
- implementation of nori the raytracer☆10Aug 12, 2019Updated 7 years ago
- A Go unit testing framework with style similar to Google Test for C++ and Google JS Test.☆15Oct 15, 2020Updated 5 years ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- Network wire protocols☆11Sep 28, 2025Updated 11 months ago
- Package Python software as an RPM including all dependencies (even the interpreter).☆11Jan 14, 2020Updated 6 years ago
- An open-source C++ library for parsing reStructuredText☆18Jun 5, 2014Updated 12 years ago
- std::map/std::set implementation using the adaptive radix tree☆15Jun 13, 2026Updated 3 months ago
- ☆10Oct 1, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Single-header logger with pretty console output☆20Mar 23, 2026Updated 6 months ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- Randomized testing framework, designed for compatibility with Base☆18Jul 10, 2026Updated 2 months ago
- Experimental model checker for testing concurrent algorithms☆47Aug 1, 2026Updated last month
- ☆13Apr 12, 2019Updated 7 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- PyData NYC 2015 tutorial examples☆12Feb 15, 2016Updated 10 years ago
- SQL scripts that help investigating performance issues☆18Mar 15, 2018Updated 8 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.
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 6 years ago
- Dumps Oracle OCI function calls issued by Oracle client applications.☆17Jul 21, 2024Updated 2 years ago
- A library to facilitate interoperation of Traits with Enaml > 0.8.x☆15Dec 5, 2022Updated 3 years ago
- The (B)ig (F)unction (T)axonomy is a detailed reference for common compute functions executed by different libraries, databases, and tool…☆18Dec 12, 2024Updated last year
- ☆20Aug 12, 2026Updated last month
- disruptor c++ implementation for IPC (arbitrary length of data)☆18Nov 1, 2025Updated 10 months ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- A library for tracking program state☆15Jun 18, 2016Updated 10 years ago
- Demo version of IPySigma jupyter/node.js application☆17Aug 24, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Standalone time and date implementation for C++ and Python.☆13Feb 13, 2026Updated 7 months ago
- This is a fork of the official libpqtypes repository once maintained by Andrew Chernow and Merlin Moncure from eSilo (see http://libpqtyp…☆17Nov 7, 2016Updated 9 years ago
- Boost.Any with support for dynamic_any_cast☆22Aug 7, 2011Updated 15 years ago
- A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012☆17Jun 21, 2013Updated 13 years ago
- Thread pool which supports c++20 coroutine. 一个支持c++20协程的线程池。☆24Mar 3, 2022Updated 4 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆23Jul 12, 2022Updated 4 years ago
- The pbench is Windows equivalent to Unix "time" command to measure process resource usage.☆20Jan 7, 2024Updated 2 years ago