LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Go

porcupine

A fast linearizability checker written in Go 🔎

GoBuilding

Stars

1.2K

Forks

69

Contributors

7

Last push

11d ago

Recent commits

Latest commits.

Update actions
49d8da6Anish Athalye11d ago
Merge branch 'step-context'
2f55a50Anish Athalye11d ago
Add `StepContext` for timeout propagation
e160267Chun-Hung Tseng2mo ago
Fix lint errors
a6e0a74Anish Athalye3mo ago
Merge branch 'henrybear327/tests/improve'
398439bAnish Athalye4mo ago

Improve metadata visualization tests

e142730Chun-Hung Tseng6mo ago

Merge branch 'henrybear327/issue37-part2'

4f9e86bAnish Athalye4mo ago

Support visualizing metadata

387ce90Chun-Hung Tseng7mo ago

Top contributors

Builders behind this project.