Tinyman’s Smart Contract Audit is Completed by Runtime Verification

This page summarizes the projects mentioned and recommended in the original post on /r/AlgorandOfficial

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • reach-lang

    Reach: The Safest and Smartest DApp Programming Language

  • One of the competing DEXes coming out is by the Reach lang people (https://reach.sh). Reach is a language that allows you to deploy to either Ethereum or Algorand, which makes it attractive in terms of developer interoperability. They also claim that it "guarantees safety" because it performs automatic formal verification.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts