witness
There are 21 repositories under witness topic.
sosy-lab/sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
jazzdotdev/jazz
The Scripting Engine that Combines Speed, Safety, and Simplicity
LIMXTEC/BitSend
BitSend Master (Live Version)
guberti/witness-encryption-demos
World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
sosy-lab/sv-witnesses
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
bitphage/golos-witness-tools
Scripts for golos blockchain witness operators
NewSoupVi/The-Witness-Randomizer-for-Archipelago
Random puzzle generator for The Witness using the Archipelago Multiworld Randomizer
PrabhunathY/AndroidDigitalSignature
Android digital sign application to draw and capture signature of user or witness.
chancehudson/rust-witness
Generate circom witnesses natively in Rust
xMdb/gta-witness-protection-bot
A bot that lets people know that Micheal was not in witness protection.
19x334/19x334.github.io
Visual Count Assist Tool For To Be Witness To The Miracle 19 In The Honourable & Glorious QURAN. 9:128-129 are from satan! NOT FROM ALLAH THE MOST SACRED THE POSSESSOR OF GREATEST BOUNTY(GRACE)! https://19x334.com
DoctorLai/SteemWitnessAutoSwitch
Auto Switch Steem Witness Node
jrswab/tackle
Dockerized Whaleshares Witness, RPC, & Seed Node
sasaxie/monitor
java-tron monitor
technologiespro/witness-monitor
Price Feed Script for BitShares SmartAssets & Witness monitor on nodejs
DannyChain/votify
Voting Page/Tool for Hive-Engine Witnesses.
VFlyer/TheWitnessKTaNE
The Witness Module, For Keep Talking And Nobody Explodes. Originally created by bmo22xsdd on Discord
DiademNetwork/whitepaper
Prove accomplishments | Create rewards | Build communities
steemit-witnesses/steem-witness-wiki
Documentation for being/running/maintaining a steem witness
UPPAALModelChecker/tracer
Uppaal trace interpreter
WW92030-STORAGE/WITNESS_CLONE
Clone of The Witness as a portable interface.