Similar projects and alternatives to uom-plugin based on common topics and language
Type equality evidence you can carry around
Type-level function utilities
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
rewrite rules for type-level equalities
Implementation of type level natural and signed integer numbers in haskell using type families.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A typed, polyglot, functional language
uom-plugin reviews and mentions
We haven't tracked posts mentioning uom-plugin yet.
Tracking mentions began in Dec 2020.
adamgundry/uom-plugin is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.