Lambda Cube - Terms, types, and functions

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

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

  • elaboration-zoo

    Minimal implementations for dependent type checking and elaboration

    • What is your implementation language? I don't know of any tutorial implementation of PTS, but this https://github.com/AndrasKovacs/elaboration-zoo has simple implementations for a language like CoC with type-in-type. I also have an implementation of this is Typescript. Once you understand that, it's not too difficult to restrict the language to disallow type lambdas, which would get you to lambda-P2.

  • tinka

    • My TypeScript implementation is https://github.com/atennapel/tinka . It has a lot of extra stuff though, so not very understandable. Currently I am rewriting in Haskell https://github.com/atennapel/tinka-hs .

  • 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

  • tinka-hs

    Dependently typed programming language written in Haskell

    • My TypeScript implementation is https://github.com/atennapel/tinka . It has a lot of extra stuff though, so not very understandable. Currently I am rewriting in Haskell https://github.com/atennapel/tinka-hs .

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