BetaRare
anishathalye/porcupine
A fast linearizability checker written in Go 🔎
- Owner
- anishathalye (personal account)
- Stars
- Stars: 1,274
- Forks
- Forks: 71
- Language
- Go
- License
- MIT
- Created
- 2017
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by anishathalye
All 19 repos by anishathalye- anishathalye/dotbotStars: 8,031PythonStable
- anishathalye/neural-styleStars: 5,547PythonStable
- anishathalye/git-remote-dropboxStars: 3,136PythonRC
- anishathalye/lumenStars: 2,424Objective-CRC
- anishathalye/geminiStars: 1,281TeXBeta
- anishathalye/obfuscated-gradientsStars: 912Jupyter NotebookBeta
Nearby in Go
All Go repos- objectbox/objectbox-goStars: 1,275GoBeta
- lauripiispanen/most-active-github-users-counterStars: 1,274GoBeta
- edoardottt/scillaStars: 1,274GoBeta
- seccome/EhoneyStars: 1,273GoBeta
- cdle/sillyGirlStars: 1,273GoBeta