somdoron 


  • 578,679 total downloads
  • last updated 12/24/2018
  • Latest version: 0.1.69
Package Description
  • 8,659 total downloads
  • last updated 8/29/2018
  • Latest version: 0.0.26
Zen Protocol dialect of FStar
  • 3,218 total downloads
  • last updated 12/24/2014
  • Latest version: 0.5.0-Beta (prerelease)
  • WebSockets ZeroMQ NetMQ
Javascript client for NetMQ/ZeroMQ over WebSocket. Please note ZeroMQ/NetMQ don't support WebSockets yet, but you can download NetMQ.WebSockets from nuget as an extesnion to NetMQ.
  • 2,985 total downloads
  • last updated 11/12/2017
  • Latest version: 0.1.0.25-v6ad5cdb42a1a (prerelease)
secp256k1 for linux
  • 2,320 total downloads
  • last updated 12/19/2017
  • Latest version: 4.5.1.7-v1f29cebd4df (prerelease)
Z3 Prover for linux
  • 1,213 total downloads
  • last updated 11/12/2017
  • Latest version: 4.5.1.7-v1f29cebd4df6 (prerelease)
Z3 Prover for linux
  • 781 total downloads
  • last updated 11/12/2017
  • Latest version: 0.1.0.25-v6ad5cdb42a1a (prerelease)
secp256k1 for osx
  • 233 total downloads
  • last updated 6/3/2018
  • Latest version: 0.0.1.6
Consensus library.
  • 75 total downloads
  • last updated 7/4/2019
  • Latest version: 0.1.0
Asynchronous BlockingCollection. Allow awaiting when taking an item. Also implement C# 8 Async Streams (IAsyncEnumerable), require dotnet core 3.0.