ThreadScan runtime support for concurrent data structures in C and C++
☆12Jun 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:
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- A GIT Mirror of Nitro NITF project☆11May 17, 2023Updated 2 years ago
- The code for the paper: "A Lock-Free B+Tree" Anastasia Braginsky and Erez Petrank, SPAA'12, June 2012.☆15Sep 25, 2016Updated 9 years ago
- FFI for kdb+☆33Jun 4, 2025Updated 9 months ago
- 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
- Emacs mode for editing q scripts and communicating with inferior q/qcon buffers☆25Updated this week
- Python Regex Engine for Humans☆16Mar 15, 2017Updated 9 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- kdb+/q syntax highlighting for the sublime editor☆14Apr 24, 2016Updated 9 years ago
- capture image and inertial sensor outputs on Android device☆11Jun 4, 2014Updated 11 years ago
- Course materials for CU Boulder CSCI 5636 Numerical Solution of Partial Differential Equations☆16Aug 27, 2018Updated 7 years ago
- A C++ memory context☆11Jul 28, 2021Updated 4 years ago
- ☆11Oct 14, 2015Updated 10 years ago
- Some example code for interfacing with kdb+ from C☆12Apr 2, 2015Updated 10 years ago
- rlwrap by Hans Lub, imported into Git☆36Mar 15, 2010Updated 16 years ago
- ☆17Jul 21, 2022Updated 3 years ago
- q mode for emacs☆12Sep 27, 2020Updated 5 years ago
- A fast way of getting a Spark cluster up and running on AWS with the friendly IPython interface.☆10May 8, 2015Updated 10 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)☆16Feb 28, 2026Updated 3 weeks ago
- Math workspace and libraries for Dyalog APL☆14Aug 15, 2024Updated last year
- Header-only skip list library for modern C++ (C++17/C++20)☆19Feb 1, 2022Updated 4 years ago
- parse the LHCb nightlies compile_commands.json and create compiler-explorer c++.properties path☆13Dec 31, 2021Updated 4 years ago
- Work-in-progress TAS tools for A Hat in Time☆11Aug 3, 2019Updated 6 years ago
- Smart contracts for a home rental network with IoT doorlocks☆11Jun 5, 2018Updated 7 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
- TensorFlow solution to the Thomson problem☆18Apr 13, 2020Updated 5 years ago
- 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
- Automatically exported from code.google.com/p/google-concurrency-library☆15Sep 17, 2015Updated 10 years ago
- 2nd place submission to the MEG decoding competition https://www.kaggle.com/c/decoding-the-human-brain☆18Aug 5, 2014Updated 11 years ago
- Realtime semantic similarity visualization with gensim, d3.js, and hookbox☆40Mar 5, 2014Updated 12 years ago
- Python wrappers for GTSAM 3☆13May 22, 2017Updated 8 years ago
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- ☆19Aug 19, 2025Updated 7 months ago
- Automatically exported from code.google.com/p/ballot-box☆17Mar 14, 2015Updated 11 years ago