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:
- ☆18Nov 9, 2022Updated 3 years ago
- Ensemble Kalman Filters (EnKFs) powered by the Fast Multipole Method (FMM) and Randomized Low-Rank Approximations (RandLRA)☆22Jun 17, 2017Updated 9 years ago
- This repository contains supporting codes for the paper “Interactive multiple model ensemble Kalman filter for traffic estimation and inc…☆16Jun 23, 2014Updated 12 years ago
- Python Regex Engine for Humans☆16Mar 15, 2017Updated 9 years ago
- Emacs mode for editing q scripts and communicating with inferior q/qcon buffers☆28Updated this week
- 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.
- The SprayList data structure☆33Mar 30, 2017Updated 9 years ago
- Line Segment Detector - git repository☆12Jan 4, 2019Updated 7 years ago
- 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
- q mode for emacs☆12Sep 27, 2020Updated 5 years ago
- ☆12Oct 14, 2015Updated 10 years ago
- kdb+/q syntax highlighting for the sublime editor☆14Apr 24, 2016Updated 10 years ago
- A C++ memory context☆11Jul 28, 2021Updated 5 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆49Aug 31, 2015Updated 11 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.
- RLU resizable hash-table☆17Aug 24, 2015Updated 11 years ago
- Header-only skip list library for modern C++ (C++17/C++20)☆18Feb 1, 2022Updated 4 years ago
- Some example code for interfacing with kdb+ from C☆12Apr 2, 2015Updated 11 years ago
- C++ Template Manipulation Library☆33Dec 17, 2014Updated 11 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
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- Exploring Text, Graphically☆12Mar 27, 2015Updated 11 years ago
- wCQ: A Fast Wait-Free Queue with Bounded Memory Usage (SPAA '22)☆11Nov 26, 2023Updated 2 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.
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 9 years ago
- generic, lock-free, concurrent skip list implementation☆11May 14, 2023Updated 3 years ago
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 5 years ago
- Emacs major mode for Dyalog APL☆18Feb 14, 2023Updated 3 years ago
- Classical economics with Python and SymPy☆16Aug 24, 2013Updated 13 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 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☆14May 1, 2025Updated last year
- greedy gradient boosting in kdb+/q☆13Oct 16, 2016Updated 9 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.
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- A PaySwarm client for node.js☆19Oct 8, 2014Updated 11 years ago
- Another incremental search tool for Emacs, packaged as `ISL`.☆24May 24, 2026Updated 3 months ago
- Yavalath AI and engine☆16Jan 7, 2020Updated 6 years ago
- Convert Markdown to PDF using a self-contained Rust binary (CLI or Node.js)☆23Jul 31, 2026Updated last month
- A place for scripts and programs to demonstrate key tools and concepts for Georgia Tech OMSCS classes.☆12Mar 5, 2015Updated 11 years ago
- Deep Learning Tutorial notes and code. See the wiki for more info.☆12Nov 11, 2014Updated 11 years ago