Alternatives and similar repositories for n2o

Users that are interested in n2o are comparing it to the libraries listed below

• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated this week
• qnikst / irc-simple
  ☆30Updated 7 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 9 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆16Updated last year
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 3 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 3 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated 4 months ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆53Updated last month
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 5 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 6 years ago
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆76Updated 6 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 4 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated last month
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆47Updated last year
• snoyberg / why-you-should-use-stm
  ☆41Updated 5 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated 3 weeks ago