Pragmatic Category Theory | Part 1: Semigroup Intro

This page summarizes the projects mentioned and recommended in the original post on dev.to
hardware-buttons scrape-images linkedin-bot

InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • pragmatic-category-theory

    Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

    chshersh/pragmatic-category-theory

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo

  • utop

    Universal toplevel for OCaml

    We can easily verify that this implementation does what we want using utop (an OCaml REPL):

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

  • Riot: An actor-model multi-core scheduler for OCaml 5

    1 project | news.ycombinator.com | 25 Aug 2024

  • (OCaml) dune developer preview

    2 projects | news.ycombinator.com | 19 Aug 2024

  • Pragmatic Category Theory | Part 2: Composing Semigroups

    1 project | dev.to | 19 Aug 2024

  • How the OCaml type checker works

    1 project | news.ycombinator.com | 18 Aug 2024

  • Coq will be renamed into 'The Rocq Prover'

    1 project | news.ycombinator.com | 7 Aug 2024