Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: witness
NewSoupVi/The-Witness-Randomizer-for-Archipelago Fork of sigma144/witness-randomizer
Random puzzle generator for The Witness using the Archipelago Multiworld Randomizer
Language: C++ - Size: 138 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 5 - Forks: 5
DannyChain/votify
Voting Page/Tool for Hive-Engine Witnesses.
Language: TypeScript - Size: 234 KB - Last synced: 18 days ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
DoctorLai/SteemWitnessAutoSwitch
Auto Switch Steem Witness Node
Language: JavaScript - Size: 25.4 KB - Last synced: 22 days ago - Pushed: about 1 month ago - Stars: 2 - Forks: 11
19x334/19x334.github.io
Messiah's 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 THE SACRED THE SUPREME HONOURABLE RAHMAN! https://19x334.com
Language: CSS - Size: 572 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0
guberti/witness-encryption-demos
World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
Language: C - Size: 869 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 31 - Forks: 0
jazzdotdev/jazz
The Scripting Engine that Combines Speed, Safety, and Simplicity
Language: Rust - Size: 903 KB - Last synced: 17 days ago - Pushed: over 2 years ago - Stars: 144 - Forks: 11
sosy-lab/sv-witnesses 📦
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Language: Python - Size: 326 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 18 - Forks: 9
LIMXTEC/BitSend
BitSend Master (Live Version)
Language: C++ - Size: 46.5 MB - Last synced: 16 days ago - Pushed: about 2 years ago - Stars: 42 - Forks: 47
sosy-lab/sv-benchmarks 📦
Collection of Verification Tasks (MOVED, please follow the link)
Size: 3.45 GB - Last synced: 4 months ago - Pushed: over 2 years ago - Stars: 186 - Forks: 168
UPPAALModelChecker/tracer
Uppaal trace interpreter
Language: C++ - Size: 53.7 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
sasaxie/monitor
java-tron monitor
Language: Go - Size: 102 MB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 2
WW92030-STORAGE/WITNESS_CLONE
Clone of The Witness as a portable interface.
Language: C++ - Size: 1.19 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
jrswab/tackle 📦
Dockerized Whaleshares Witness, RPC, & Seed Node
Language: Shell - Size: 94.7 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0
xMdb/gta-witness-protection-bot
A bot that lets people know that Micheal was not in witness protection.
Language: JavaScript - Size: 44.9 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 3 - Forks: 0
technologiespro/witness-monitor
Price Feed Script for BitShares SmartAssets & Witness monitor on nodejs
Language: JavaScript - Size: 53.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 5
VFlyer/TheWitnessKTaNE Fork of PauGuri2002/TheWitnessKTaNE
The Witness Module, For Keep Talking And Nobody Explodes. Originally created by bmo22xsdd on Discord
Language: C# - Size: 19.6 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 2
bitphage/golos-witness-tools
Scripts for golos blockchain witness operators
Language: Python - Size: 178 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 12 - Forks: 3
PrabhunathY/AndroidDigitalSignature
Android digital sign application to draw and capture signature of user or witness.
Language: Java - Size: 16.8 MB - Last synced: over 1 year ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 1
DiademNetwork/whitepaper
Prove accomplishments | Create rewards | Build communities
Size: 3.91 KB - Last synced: 11 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0