Idris-okasaki-pfds Alternatives
Similar projects and alternatives to idris-okasaki-pfds
-
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.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better idris-okasaki-pfds alternative or higher similarity.
idris-okasaki-pfds reviews and mentions
Posts with mentions or reviews of idris-okasaki-pfds.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-15.
-
What things would be awkward to do in a hypothetical "strict" Haskell variant, that are now not awkward to do?
https://gitlab.com/bss03/idris-okasaki-pfds/-/blob/master/src/BootstrappedQueue.idr is what I was thinking about. (It is just a queue, not a deque.)
Stats
Basic idris-okasaki-pfds repo stats
2
-
-
-
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com