spectacle
specification checker
A tool for writing and validating temporal logic specifications of software behavior
Embedded specification language & model checker in Haskell
174 stars
22 watching
12 forks
Language: Haskell
last commit: almost 3 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| awakesecurity/grpc-haskell | A Haskell library that provides support for the gRPC protocol | 240 |
 nomeata/inspection-testing | A tool that allows developers to embed assertions about intermediate code in their Haskell programs and have them checked by the compiler. | 172 |
 hassio-addons/addon-glances | A monitoring tool that provides system information and statistics in a web-based interface | 159 |
| awakesecurity/proto3-suite | A Haskell implementation of protocol buffers version 3 | 80 |
 sektioneins/sshdcc | A tool to analyze and optimize OpenSSH configuration files | 23 |
 boostsecurityio/poutine | Detects misconfigurations and vulnerabilities in software supply chains during build pipelines. | 239 |
 akryum/vue-observe-visibility | Detects when an element becomes visible or hidden on the page | 1,651 |
 vitalets/babel-plugin-runtyper | An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime. | 116 |
 serkanyersen/ifvisible.js | Checks user interaction and visibility on the page | 1,953 |
 christruncer/eyewitness | An automated web vulnerability scanning tool designed to take screenshots of websites and identify default credentials. | 20 |
 ionescu007/specucheck | Utility to inspect CPU and hardware mitigations against specific security vulnerabilities. | 568 |
 falcosecurity/event-generator | A tool that generates suspect actions and events to test Falco ruleset security configurations | 97 |
 stufus/reconerator | A custom .NET assembly for gathering system information and performing situational awareness activities. | 121 |
 ucsd-progsys/liquidhaskell | A tool for verifying and validating Haskell programs using refinement types and SMT logic | 1,204 |
 klks/checksec | A tool to analyze security settings in x64dbg | 126 |