Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
OTP application for generating blog posts from a Git repository containing markdown files.
Encrypted .env files with TOTP unsealing for production deploys. Cross-stack (Node + Java). Zero deps. Defends against npm supply-chain attacks.
- 2fa
- aes-gcm
- dotenv
- encryption
Rewriting http://github.com/sjcgis/footprint-review with Choo. (ABANDONED)