Dactylobiotus

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Haskell Dependent Types linear-types juvix

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • juvix

    Discontinued Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.

    • Github: https://github.com/metastatedev/juvix

    Best regards,

  • 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

  • Missing line in a smart contract leads to $10M hack

    3 projects | news.ycombinator.com | 16 May 2021

  • Why would someone build on Tezos rather than Solana?

    2 projects | /r/tezos | 19 Apr 2021

  • Foldr type level implementation

    2 projects | /r/haskellquestions | 30 Mar 2023

  • New release of Builder with linear types, now renderable both to Text and ByteString

    1 project | /r/haskell | 24 Mar 2023

  • Do you use Idris or Coq, and why?

    3 projects | /r/haskell | 16 Nov 2022