semilattices

Open-source projects categorized as semilattices
Edit details
Topics: monotonicity type-theory Compiler programming-language Datalog
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

semilattice Open-Source Projects

semilattices

  • datafun

    Research on integrating datalog & lambda calculus via monotonicity types

    • Project mention: Datafun: A Purely, Total Functional Datalog | news.ycombinator.com | 2023-12-29

  • 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 open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

semilattices related posts

  • Datafun: A Purely, Total Functional Datalog

    1 project | news.ycombinator.com | 29 Dec 2023

  • For those of you self taught,how did you cope with distractions while using a computer ?

    2 projects | /r/ADHD_Programmers | 8 May 2023

Index

Project Stars
1 datafun 375

Sponsored
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