Haskell Type System

5 Type System packages and projects

• typelevel-rewrite-rules

  7.8 6.7 Haskell

  Solve type equalities using custom type-level rewrite rules

• uom-plugin

  7.8 6.8 Haskell

  Units of measure as a GHC typechecker plugin

• type-level-numbers

  4.1 0.0 Haskell

  Type level numbers implemented using type families.

Scout APM: Application Performance Monitoring

Scout gets developers back to coding faster. An intuitive UI streamlines real-time performance insight so you can quickly pinpoint & resolve issues before the customer ever sees them. Start your free trial today!

Promoted scoutapm.com



• type-eq

  3.8 0.0 Haskell

  Type equality evidence you can carry around

• funspection

  1.1 1.5 Haskell

  Type-level function utilities

Popular Comparisons

• type-eq
  vs
  uom-plugin

99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

• Software Engineer - Back-End, All Levels at Olo
  Dev, .net, C#
• Junior Data & Growth Engineer at HeySummit
  Dev, Django, Python
• Full Stack Engineer (Rails / Vue) at TaxJar
  Dev, Ruby-on-rails, Ruby
• Senior Full-Stack Developer (Mobile & Web) 100% Remote at Metabolic Living
  Dev, Lamp, Mysql
• Senior Software Engineer, Identity at Auth0
  Dev, Node.js, Web-services
• Software Engineer (Backend) at Kea
  Dev, Node.js, Postgresql
• Senior Full-stack Engineer (React, Node.js) - Remote at SemanticBits
  Dev, Reactjs, Node.js
• Software Engineer - Search/Data (Remote, US Timezones Only, Fulltime/Benefits) at Gaia GPS
  Dev, Python, Postgresql
• Software Engineer - Full Stack at 6 River Systems
  Dev, Typescript, Javascript
• Software Engineer - Spacecraft Flight Dynamics System (FDS) at Advanced Space, LLC
  Dev, Space, Kubernetes

SaaSHub - Software Alternatives and Reviews More from our partner