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 4 months ago
- vcsh config base repository (required before all others)☆14Jun 20, 2017Updated 9 years ago
- Q line editor and full-screen interface editor☆12May 16, 2021Updated 5 years ago
- Line Segment Detector - git repository☆12Jan 4, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Work-in-progress TAS tools for A Hat in Time☆11Aug 3, 2019Updated 7 years ago
- Smart contracts for a home rental network with IoT doorlocks☆11Jun 5, 2018Updated 8 years ago
- capture image and inertial sensor outputs on Android device☆11Jun 4, 2014Updated 12 years ago
- q mode for emacs☆12Sep 27, 2020Updated 5 years ago
- Vcsh hooks for better git submodules support. Check wiki for README☆13Jan 10, 2021Updated 5 years ago
- A C++ memory context☆11Jul 28, 2021Updated 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 11 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 11 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.
- ☆31Nov 16, 2021Updated 4 years ago
- This is just my implementation to some algorithms and data structures in both Java and C++.☆11Nov 13, 2017Updated 8 years ago
- parse the LHCb nightlies compile_commands.json and create compiler-explorer c++.properties path☆13Dec 31, 2021Updated 4 years ago
- Some example code for interfacing with kdb+ from C☆12Apr 2, 2015Updated 11 years ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 3 years ago
- 🔧 Build a skeleton Magento Connect extension package file from your modman contents☆15Feb 29, 2020Updated 6 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Course materials for CU Boulder CSCI 5636 Numerical Solution of Partial Differential Equations☆16Aug 27, 2018Updated 8 years ago
- C as an Embedded Language in Scala☆18Dec 17, 2014Updated 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.
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- Exploring Text, Graphically☆12Mar 27, 2015Updated 11 years ago
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 9 years ago
- The MOPED framework: Object recognition and pose estimation for manipulation☆14Aug 1, 2016Updated 10 years ago
- Blazing fast embark actions for various version control packages 🚀☆22Jan 21, 2025Updated last year
- 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
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 5 years ago
- Emacs major mode for Dyalog APL☆19Feb 14, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Classical economics with Python and SymPy☆16Aug 24, 2013Updated 13 years ago
- 2nd place submission to the MEG decoding competition https://www.kaggle.com/c/decoding-the-human-brain☆18Aug 5, 2014Updated 12 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
- A data structure processing library - validation, response or message generation, etc.; inspired by Metis.☆17Oct 13, 2016Updated 9 years ago
- A simple search utility for Denote☆13May 1, 2025Updated last year
- greedy gradient boosting in kdb+/q☆13Oct 16, 2016Updated 9 years ago
- ☆19Aug 19, 2025Updated last year