spectacle
Embedded specification language & model checker in Haskell
AI summary
specification checker
A tool for writing and validating temporal logic specifications of software behavior
- stars
- 174
- forks
- 12
- watching
- 22
Similar projects
Found by comparing what the projects do, not just their names.
gRPC toolkit
A Haskell library that provides support for the gRPC protocol
Haskell assertion checker
A tool that allows developers to embed assertions about intermediate code in their Haskell programs and have them checked by the compiler.
System monitor
A monitoring tool that provides system information and statistics in a web-based interface
Protocol buffer library
A Haskell implementation of protocol buffers version 3
Config Checker
A tool to analyze and optimize OpenSSH configuration files
Security scanner
Detects misconfigurations and vulnerabilities in software supply chains during build pipelines.
Visibility detector
Detects when an element becomes visible or hidden on the page
Type-checker
An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime.
Interaction detector
Checks user interaction and visibility on the page
Website scanner
An automated web vulnerability scanning tool designed to take screenshots of websites and identify default credentials.
Mitigation inspector
Utility to inspect CPU and hardware mitigations against specific security vulnerabilities.
Security testing tool
A tool that generates suspect actions and events to test Falco ruleset security configurations
System scanner
A custom .NET assembly for gathering system information and performing situational awareness activities.
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
Security analyzer
A tool to analyze security settings in x64dbg
