ThreadScan runtime support for concurrent data structures in C and C++
☆13Jun 1, 2017Updated 8 years ago
Alternatives and similar repositories for ThreadScan
Users that are interested in ThreadScan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Non-nullable pointers with 0-overhead and no hidden runtime cost.☆12Dec 21, 2020Updated 5 years ago
- Detect changepoints in time series data☆11Oct 29, 2014Updated 11 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- ☆18Nov 9, 2022Updated 3 years ago
- FFI for kdb+☆33May 1, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This repository contains supporting codes for the paper “Interactive multiple model ensemble Kalman filter for traffic estimation and inc…☆16Jun 23, 2014Updated 11 years ago
- Ensemble Kalman Filters (EnKFs) powered by the Fast Multipole Method (FMM) and Randomized Low-Rank Approximations (RandLRA)☆22Jun 17, 2017Updated 8 years ago
- Line Segment Detector - git repository☆12Jan 4, 2019Updated 7 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- The SprayList data structure☆33Mar 30, 2017Updated 9 years ago
- vcsh config base repository (required before all others)☆14Jun 20, 2017Updated 8 years ago
- Q line editor and full-screen interface editor☆11May 16, 2021Updated 5 years ago
- Course materials for CU Boulder CSCI 5636 Numerical Solution of Partial Differential Equations☆16Aug 27, 2018Updated 7 years ago
- Some example code for interfacing with kdb+ from C☆12Apr 2, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Vcsh hooks for better git submodules support. Check wiki for README☆13Jan 10, 2021Updated 5 years ago
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 3, 2023Updated 3 years ago
- rlwrap by Hans Lub, imported into Git☆36Mar 15, 2010Updated 16 years ago
- q mode for emacs☆12Sep 27, 2020Updated 5 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Aug 31, 2015Updated 10 years ago
- Extra functionality to integrate Org mode with Denote (such as Org dynamic blocks)☆21Updated this week
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 2 years ago
- Math workspace and libraries for Dyalog APL☆15Aug 15, 2024Updated last year
- Header-only skip list library for modern C++ (C++17/C++20)☆18Feb 1, 2022Updated 4 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.
- Work-in-progress TAS tools for A Hat in Time☆11Aug 3, 2019Updated 6 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- greedy gradient boosting in kdb+/q☆13Oct 16, 2016Updated 9 years ago
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 8 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- C as an Embedded Language in Scala☆18Dec 17, 2014Updated 11 years ago
- ☆31Nov 16, 2021Updated 4 years ago
- generic, lock-free, concurrent skip list implementation☆11May 14, 2023Updated 3 years ago
- TensorFlow solution to the Thomson problem☆18Apr 13, 2020Updated 6 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.
- wCQ: A Fast Wait-Free Queue with Bounded Memory Usage (SPAA '22)☆11Nov 26, 2023Updated 2 years ago
- Blazing fast embark actions for various version control packages 🚀☆21Jan 21, 2025Updated last year
- WEKA plugin for FastICA and multidimensional scaling filters☆25Aug 1, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/google-concurrency-library☆15Sep 17, 2015Updated 10 years ago
- Software platform and algorithms for multi-body dynamics simulation, control, estimation, and path-planning. Intended for robotics softwa…☆42Mar 24, 2026Updated 2 months ago
- Emacs major mode for Dyalog APL☆16Feb 14, 2023Updated 3 years ago
- Unbreakable links.☆22Mar 13, 2026Updated 2 months ago