Stellar
A library for API programming
Stellar is an Idris2 library based on containers as APIs. It provides tools to write software at a very high level by manipulating APIs first and then filling the program that translate between APIs. Currently, it offers functionality to run sqlite3 databases, HTTP requests from Node, HTTP requests from the browser, and command line interfaces.