-
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.
-
quid-pro-quo
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
I learned Common Lisp before I learned Python, so I am not impress by generators, normally you can emulate them using closures, at least the ones I've used. Lazy evaluation also is a good way to obtain that kind of functionality. If you want to know the how this is a good article. He refers in that article to his library (slow-jam), which does several interesting things. You can also take a look at this.
mmh this library seems rather good: https://github.com/anlsh/picl (but there are more, like the built-in Iterate feature. You probably found https://stackoverflow.com/questions/32956033/is-there-a-straightforward-lisp-equivalent-of-pythons-generators)
Here's a Lisp library for contracts: https://github.com/sellout/quid-pro-quo (not saying this is what ADA has ..)
Ada has contracts also. I think possible to implement. https://github.com/melisgl/mgl-pax which I use for CLOG does a good job of documenting specs and gives me some ideas about how to go about it and same with generic functions themselves. At some point all apply myself to it.
What about Coalton, is it missing something, not "powerful" enough? https://github.com/coalton-lang/coalton/