Haskell Dependent Types

6 Dependent Types packages and projects

• lens-typelevel

  6.3 0.0 Haskell

  Type-level lenses using singletons

• decidable

  6.0 1.9 Haskell

  Combinators for manipulating dependently-typed predicates.

• agda-snippets-hakyll

  4.1 - Haskell

  Literate Agda support using agda-snippets, for Hakyll pages.

SaaSHub - Software Alternatives and Reviews

SaaSHub will help you find the best software and product alternatives

Promoted www.saashub.com



• instance-map

  2.6 0.0 Haskell

  Template haskell utilities for helping with deserialization etc. of existential types

• list-witnesses

  2.3 0.0 Haskell

  Witnesses for working with type-level lists

• ral-optics

  - -

  Length-indexed random access lists

99 Remote Jobs

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

• Software Engineer - Spacecraft Flight Dynamics System (FDS) at Advanced Space, LLC
  Dev, Space, Kubernetes
• DevOps engineer for Esports at FirstBlood
  DevOps, Amazon-web-services, Kubernetes
• Senior Software Engineer - Web Monetization Ecosystem for Content Creators at Coil
  Dev, Javascript, Node.js
• Principal Software Engineer (Remote) at Hobsons
  Dev, Javascript, Reactjs
• Senior Backend Engineer (m/w/x) - remote possible at Jimdo
  Dev, Python, Django
• Software Engineer III - Business Systems at CNC Software, Inc
  Dev, C#, Asp.net-mvc
• Web Developer for BLOX at TownNews
  Dev, Javascript, Html
• Backend Software Engineer (Node.js) - REMOTE at SemanticBits
  Dev, Node.js, Amazon-web-services
• Generalist Mid/Senior-level Software Developer with back end focus (REMOTE) at Niphtio
  Dev, Postgresql, Redis
• Mobile Software Engineer - Direct Hire - Remote at PestRoutes
  Dev, React-native, Mobile