Pinned Loading

1. stratisdevex/Stratis.DevEx stratisdevex/Stratis.DevEx Public

   A frictionless integrated interface for developing secure Stratis C# and Solidity smart contracts.

   C# 2 1

2. Silver Silver Public

   Static analyzer and formal verifier for Stratis smart contracts

   Jupyter Notebook 5 2

3. maude maude Public

   Autonomous decentralized moderation for IPFS and Web3

   Python 10

4. Sylvester Sylvester Public

   A language for scientific computing that focuses on safety, expressiveness, and interoperability

   Jupyter Notebook 52 7

5. Victor Victor Public

   Voice Interactive Controller

   C# 6 3

6. TrafficCV TrafficCV Public

   A small OpenCV-based cross-platform library and program that runs different computer vision and deep learning model inference on videos and live streams of traffic .

   Python 15 5