💻

spin

Efficient verification tool of multi-threaded software

WindowsmacOS

0 downloads Details

💻

spiped

Secure pipe daemon

WindowsmacOS

0 downloads Details

💻

spirv-cross

Performing reflection and disassembling SPIR-V

WindowsmacOS

0 downloads Details

💻

spirv-headers

Headers for SPIR-V

WindowsmacOS

0 downloads Details

💻

spirv-tools

API and commands for processing SPIR-V modules

WindowsmacOS

0 downloads Details

💻

splint

Secure Programming Lint

WindowsmacOS

0 downloads Details

💻

spoa

SIMD partial order alignment tool/library

WindowsmacOS

0 downloads Details

💻

sponge

Soak up standard input and write to a file

WindowsmacOS

0 downloads Details

💻

spoof-mac

Spoof your MAC address in macOS

WindowsmacOS

0 downloads Details

💻

spoofdpi

Simple and fast anti-censorship tool written in Go

WindowsmacOS

0 downloads Details

💻

spot

Platform for LTL and 蠅-automata manipulation

WindowsmacOS

0 downloads Details

💻

spotbugs

Tool for Java static analysis (FindBugs's successor)

WindowsmacOS

0 downloads Details