anishathalye/porcupine
A fast linearizability checker for Go projects, useful for developers building concurrent systems.
Go
Developer Tools
Testing
MIT
1.1K
Stars
65
Forks
May 27, 2017
Created
Feb 10, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+14
+1.2% change
Avg Daily Growth (1 Month)
+0.5
stars per day
Fork/Star Ratio (All Time)
5.7%
Normal engagement
Lifetime Growth
0.4
stars/day over 3.2K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
concurrency
testing
distributed-systems
linearizability
verification
Similar Projects
ohmyzsh/ohmyzsh
Enhances shell experience with plugins/themes for zsh
185.1K
Shell
microsoft/vscode
Visual Studio Code - Open Source code editor
182.3K
TypeScript
github/gitignore
Official .gitignore templates for GitHub repositories
172.8K
jlevy/the-art-of-command-line
Comprehensive command line guide for developers
160.1K
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.