Lists (1)
Stars
5
stars
written in C++
Clear filter
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Firmware for Libre Solar MPPT/PWM charge controllers
Epiphyte is a miniature, stand-alone, open source direct air capture machine that removes CO2 from the air, designed by OpenAir volunteers.
Yet Another getopt C++ version, STL-streaming like