GitHub repository: raffopazzo/depc
Primary language: C++
Description: Like C and C++ but with Dependent Types