Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with spass
A curated list of projects in awesome lists tagged with spass .
https://github.com/0xdeb7ef/spass-manager
A program to decrypt .spass files, and maybe encrypt to .spass in the future.
password password-management password-manager samsung-pass spass
Last synced: 12 Dec 2024
https://github.com/mateusz-grzelinski/sat-research
master repo for logic formula generation
benchmark first-order-logic generator inkresat proover9 sat spass temporal-logic
Last synced: 22 Nov 2024
