I1M Alternatives

Similar projects and alternatives to I1M

• adjunctions

  1 44 3.3 Haskell I1M VS adjunctions

  Simple adjunctions

• hevm

  10 2,045 4.8 Haskell I1M VS hevm

  Dapp, Seth, Hevm, and more

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• vinyl

  2 260 0.0 Haskell I1M VS vinyl

  Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. (by VinylRecords)

  

• distributive

  6 41 2.7 Haskell I1M VS distributive

  Dual Traversable

• hoq

  0 82 0.0 Haskell I1M VS hoq

  A language based on homotopy type theory with an interval

• bookkeeper

  0 54 0.0 Haskell I1M VS bookkeeper
  

• miso

  18 2,137 6.0 Haskell I1M VS miso

  :ramen: A tasty Haskell front-end framework

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• ethereum-client-haskell

  0 77 0.0 Haskell I1M VS ethereum-client-haskell

• singletons

  2 282 6.3 Haskell I1M VS singletons

  Fake dependent types in Haskell using singletons

• Agda

  27 2,368 9.8 Haskell I1M VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.