-
pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen (by the-little-typer)
-
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.
-
anarki
Community-managed fork of the Arc dialect of Lisp; for commit privileges submit a pull request.
It lets you create languages like Pie which is designed to teach others about dependent types:
https://thelittletyper.com/
Not to mention arc/anarki (hn is/was written in arc - anarki comes with a "news" example app/forum):
https://github.com/arclanguage/anarki/tree/HEAD#readme
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.