22 Logic packages and projects
-
Heyting Algebras
5.1 0.0 HaskellThis package provides Heyting and Boolean operations together with various constructions of Heyting algebras. -
structural-induction
3.9 0.0 HaskellInstantiate structural induction schemas for algebraic data types
Get performance insights in less than 4 minutes.
Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
Promoted
scoutapm.com
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.