anishathalye/porcupine
A fast linearizability checker written in Go π
License & maintenance
MIT is a permissive license: free to use commercially with attribution.
Last code push 28 days ago.
Similar projects
| Repository | Stars | Activity | |
|---|---|---|---|
| 1 |  996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers. | β 277.2k | Stale |
| 2 |  torvalds/linuxLinux kernel source tree | β 252.4k | Active |
| 3 |  jackfrued/Python-100-DaysPython - 100倩δ»ζ°ζε°ε€§εΈ | β 187.3k | Active |
| 4 |  airbnb/javascriptJavaScript Style Guide | β 148.1k | Slowing |
| 5 |  iptv-org/iptvCollection of publicly available IPTV channels from all over the world | β 141.3k | Active |
| 6 |  ruanyf/weeklyη§ζη±ε₯½θ
ε¨εοΌζ―ε¨δΊεεΈ | β 106.4k | Active |
| 7 |  deepseek-ai/DeepSeek-V3 | β 104.5k | Stale |
| 8 |  Anduin2017/HowToCookProgrammer's guide about how to cook at home. | β 102.9k | Active |