GitHub repository: tobybenjaminclark/mpir
Primary language: C
Created: 2023-06-14T20:04:15Z
Description: 🌔 Programming Language enabling Refinement Types & Tag Documentation to promote maintainable, unanimous codebases. Deployed using ANSI C23, LLVM & Z3.