All Categories → No Category → gsn

Top 3 gsn open source projects

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

✭ 16

JetBrains MPS Roff Promela HTML Batchfile c prism architecture z3 spin gsn nusmv stpa contract-based-design requirements-specification safety-assurance interface-specification

starter-kit-gsn

An OpenZeppelin starter kit focused on GSN.

✭ 39

javascript CSS solidity HTML react ethereum dapp smart-contracts truffle web3 gsn metamask infura gana openzeppel

Global Sensor Networks

✭ 53

java Web Ontology Language scala HTML javascript shell wrapper internet-of-things webui sensor-network gsn virtual-sensors

1-3 of 3 gsn projects