Pinned

1. stratisdevex/Stratis.DevEx Public

   A frictionless integrated interface for developing secure Stratis smart contracts using Visual Studio

   C# 3 1

2. Silver Public

   Static analyzer and formal verifier for Stratis smart contracts

   Jupyter Notebook 5 2

3. maude Public

   Autonomous decentralized moderation for IPFS and Web3

   Python 7

4. Sylvester Public

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

   Jupyter Notebook 50 7

5. Victor Public

   Voice Interactive Controller

   C# 5 2

6. 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 12 6