Our great sponsors
-
Kind
Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)
-
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.
If anyone is curious, check github.com/kind-lang/kind for more info. Basically a Haskell with a well-thought, consistent design, a friendlier syntax, a blazing JS/Scheme compiler, and dependent types / theorem proving.
generic-lens, a Haskell library for optics for Generic types, uses inspection-testing to ensure that it has zero overhead over raw getter/setters: src.
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.
Related posts
- First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
- Kind: A lambda-calculus based pure programming language
- Can one use lambda calculus as an IR?
- Eliezer Yudkowsky has great news: "Parents conceiving today may have a fair chance of their kids living to see kindergarten."
- Somos os devs da HVM, o compilador Brasileiro que rodou o mundo. Vamos colocar nosso logo no /r/place?