Haskell constraint-solver Projects
A reference library for constraint-solving with propagators and CDCL.
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.
Are you hiring? Post a new remote job listing for free.