o3 / n2o

Related projects ⓘ

Alternatives and complementary repositories for n2o

• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 8 months ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 7 months ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• qnikst / irc-simple
  ☆30Updated 6 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆19Updated 3 months ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated 8 months ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 10 months ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆71Updated 7 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆58Updated last year
• sequents / code
  Proof theory seminar
  ☆31Updated 3 years ago
• groupoid / cafe
  🧊 Презентації та воркшопи
  ☆20Updated last year
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 6 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• tonymorris / validation
  ☆31Updated 3 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• groupoid / henk.ex
  🧊 Чиста система з всесвітами
  ☆143Updated 4 months ago
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆99Updated last year
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• serokell / rocksdb-haskell
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Updated 6 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆44Updated 3 weeks ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 3 months ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago