Alternatives and similar repositories for n2o:

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

• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated 2 weeks ago
• qnikst / irc-simple
  ☆30Updated 6 years ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 10 months ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆20Updated this week
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated last week
• xgrommx / idris-ecosystem
  ☆47Updated 7 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 8 months ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 5 months ago
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆75Updated 6 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆66Updated 10 months ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 6 years ago
• groupoid / henk.ex
  🧊 Чиста система з всесвітами
  ☆144Updated 7 months ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• fizruk / lambdaconf-2018-workshop
  LambdaConf 2018 workshop on building Telegram bots in Haskell.
  ☆25Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• tonymorris / validation
  ☆31Updated 3 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 5 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆58Updated last year
• haskell-distributed / network-transport-tcp
  TCP Realisation of Network.Transport
  ☆29Updated 4 months ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 4 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 3 months ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆26Updated 3 years ago