awakesecurity/spectacle - GitHub Explorer | GitHub Explorer | Trending

Stars

179

Forks

12

Watchers

179

Open Issues

8

Repository Health Score

🧡

50/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

Support GHC 9.8 (#58)

Tomáš Drtina•11 months ago

891109eView on GitHub

Enable dual trace and checking mode in CLI (#55)

jake•3 years ago

92b0810View on GitHub

Documentation + Nix fixes (#54)

jake•3 years ago

430680cView on GitHub

Various support updates: GHC 9+ support, Flakes, documentation (#52)

Austin Seipp•3 years ago

1e668c8View on GitHub

Updating specifications in integration test suite (#45)

jake•4 years ago

76f9838View on GitHub

Version bump/1.0.0 (#41)

jake•4 years ago

21337e4View on GitHub

Labelled actions (#33)

jake•4 years ago

70501d0View on GitHub

Detect liveness violations in unchanging infinite sequences (#30)

jake•4 years ago

7e7efd6View on GitHub

Apply temporal formula to initial worlds (#28)

jake•4 years ago

fff09f0View on GitHub

change: update readme

Jake•4 years ago

24aeb66View on GitHub

Merge branch 'main' of github.com:awakesecurity/spectacle into main

Jake•4 years ago

d807265View on GitHub

add: Rate limiter specification

Jake•4 years ago

2c4e7c9View on GitHub

Add a bit clock specification (#24)

Parnell Springmeyer•4 years ago

48e3a24View on GitHub

delete: org file

Jake•4 years ago

6938b1cView on GitHub

Merge pull request #25 from awakesecurity/model-fingerprints

jake•4 years ago

15d59d5View on GitHub

View all commits

GitHub Explorer

spectacle

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues