ThreadScan runtime support for concurrent data structures in C and C++
☆13Jun 1, 2017Updated 9 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:
- 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+☆33May 1, 2026Updated last month
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- The SprayList data structure☆33Mar 30, 2017Updated 9 years ago
- kdb+/q syntax highlighting for the sublime editor☆14Apr 24, 2016Updated 10 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.
- Q line editor and full-screen interface editor☆11May 16, 2021Updated 5 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆30Aug 8, 2022Updated 3 years ago
- Guice integartion for OrientDB☆38Updated this week
- A C++ memory context☆11Jul 28, 2021Updated 4 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 11 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Aug 31, 2015Updated 10 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 3 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.
- Math workspace and libraries for Dyalog APL☆15Aug 15, 2024Updated last year
- 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
- A matlab version of Struck.☆11Aug 7, 2015Updated 10 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 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
- generic, lock-free, concurrent skip list implementation☆11May 14, 2023Updated 3 years ago
- wCQ: A Fast Wait-Free Queue with Bounded Memory Usage (SPAA '22)☆11Nov 26, 2023Updated 2 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.
- Blazing fast embark actions for various version control packages 🚀☆22Jan 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
- 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
- Emacs major mode for Dyalog APL☆16Feb 14, 2023Updated 3 years ago
- Matlab Lie group utilities: flows and differential operators on GL(n), SE(2), SE(3), SO(3), S^3☆16Jan 11, 2018Updated 8 years ago
- Unbreakable links.☆22Updated this week
- A simple search utility for Denote☆14May 1, 2025Updated last year
- 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.
- Python wrappers for GTSAM 3☆13May 22, 2017Updated 9 years ago
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- Minimalistic implementation of the filter described in Vision Based Navigation for Micro Helicopters (Stephan M. Weiss) [http://e-collect…☆17Apr 12, 2016Updated 10 years ago
- ☆25Jan 2, 2021Updated 5 years ago
- Exploring Text, Graphically☆12Mar 27, 2015Updated 11 years ago
- Yavalath AI and engine☆16Jan 7, 2020Updated 6 years ago
- Ventanium C Library - Read-only mirror☆20Jan 29, 2023Updated 3 years ago