10

8

6

4

2


3 type packages and projects

  • type-level-sets

    8.8 0.0 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • type-indexed-queues

    4.2 0.0 Haskell
    Queues with verified and unverified versions.
  • type-level-bst

    4.2 0.0 Haskell
    type-level binary search trees in haskell

99 Remote Jobs

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

Add another 'type' Package