#

spass

Here are 4 public repositories matching this topic...

0xdeb7ef / spass-manager

A program to decrypt .spass files, and maybe encrypt to .spass in the future.

password-manager password password-management spass samsung-pass

Updated Sep 7, 2024
Go

glnc / spass-wasm

Compile SPASS to WebAssembly using emscripten

solver webassembly wasm emscripten cnf theorem-prover max-planck-institute spass

Updated Feb 5, 2020
C

Mateusz-Grzelinski / sat-research

master repo for logic formula generation

benchmark generator first-order-logic temporal-logic sat spass proover9 inkresat

Updated Mar 29, 2021
Python

JamKelley22 / S-PASS

Learning tool for Engineering students to improve the quality of their education

react education educational usability reu usability-study spass

Updated May 16, 2018
JavaScript

Improve this page

Add a description, image, and links to the spass topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the spass topic, visit your repo's landing page and select "manage topics."