type-natural

Type-level well-kinded natural numbers. (by konn)
Review Math Haskell type-level Dependent Types proof-assistant GHC type-level-programming
Source Code
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Type-natural Alternatives

Similar projects and alternatives to type-natural

type-natural
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better type-natural alternative or higher similarity.
Suggest an alternative to type-natural

type-natural discussion

Log in or Post with

type-natural reviews and mentions

Posts with mentions or reviews of type-natural. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning type-natural yet.
Tracking mentions began in Dec 2020.

Stats

Basic type-natural repo stats
0
33
5.5
3 months ago

konn/type-natural is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of type-natural is Haskell.

Popular Comparisons

  1. type-natural VS gamma
  2. type-natural VS manifold-random
  3. type-natural VS what4
  4. type-natural VS estimator
  5. type-natural VS roots
  6. type-natural VS hsignal
  7. type-natural VS vector-space
  8. type-natural VS ms
  9. type-natural VS ieee
  10. type-natural VS mltool

Sponsored
Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com