- Valencia
Stars
3
stars
written in C++
Clear filter
The new Windows Terminal and the original Windows console host, all in the same place!
Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit
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.