linearizability-checker

Solid

Check linearizability of concurrent data structure implementations

AI & Automation 814 stars 53 forks Updated today MIT

Install

View on GitHub

Quality Score: 93/100

Stars 20%

Recency 20%

100

Frontmatter 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100

Skill Content

# Linearizability Checker ## Purpose Provides expert guidance on verifying linearizability of concurrent data structures through testing and proof. ## Capabilities - History linearization algorithms - Linearization point identification - Counterexample generation for violations - Concurrent history visualization - Linearizability proof templates - Testing framework integration ## Usage Guidelines 1. **History Collection**: Record concurrent operation histories 2. **Linearization**: Check if history is linearizable 3. **Counterexample Analysis**: Analyze non-linearizable executions 4. **Proof Construction**: Build linearizability proofs 5. **Testing**: Systematic testing for violations ## Tools/Libraries - LineUp - Wing-Gong algorithm - Lincheck - JCStress

Details

Author: a5c-ai
Repository: a5c-ai/babysitter
Created: 4 months ago
Last Updated: today
Language: JavaScript
License: MIT

Related Skills

AI & Automation Featured

videodb

See, Understand, Act on video and audio. See- ingest from local files, URLs, RTSP/live feeds, or live record desktop; return realtime context and playable stream links. Understand- extract frames, build visual/semantic/temporal indexes, and search moments with timestamps and auto-clips. Act- transcode and normalize (codec, fps, resolution, aspect ratio), perform timeline edits (subtitles, text/image overlays, branding, audio overlays, dubbing, translation), generate media assets (image, audio, video), and create real time alerts for events from live streams or desktop capture.

196,640 Updated 2 days ago

affaan-m

AI & Automation Featured

ck

Persistent per-project memory for Claude Code. Auto-loads project context on session start, tracks sessions with git activity, and writes to native memory. Commands run deterministic Node.js scripts — behavior is consistent across model versions.

196,640 Updated 2 days ago

affaan-m

AI & Automation Featured

browser

Web browser automation with AI-optimized snapshots for claude-flow agents

55,973 Updated today

ruvnet