What can Category Theory do?

This page summarizes the projects mentioned and recommended in the original post on /r/askmath
Data structures Ocaml Dependent Types Compiler Agda

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

  • Agda

    Agda is a dependently typed programming language / interactive theorem prover.

    • Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool.

  • ocaml

    The core OCaml system: compilers, runtime system, base libraries

    • Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool.

  • 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

  • Road to 1.0/ Zig

    2 projects | /r/programming | 22 Dec 2020

  • Types versus sets (and what about categories?)

    1 project | news.ycombinator.com | 31 Aug 2023

  • Amendmend proposal: Changed syntax for Or patterns

    2 projects | /r/haskell | 14 Apr 2023

  • Functional Programming and Maths <|> How can a code monkey learn Agda?

    1 project | /r/functionalprogramming | 26 Mar 2023

  • Doom emacs and agda-mode

    2 projects | /r/emacs | 22 Mar 2023