o3 / n2o

Related projects: ⓘ

• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 5 months ago
• qnikst / irc-simple
  ☆30Updated 6 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 8 months ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• 5HT / nicolas
  ☆18Updated this week
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 4 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆23Updated 5 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• 5HT / valery
  ☆15Updated this week
• groupoid / CCHM
  ☆13Updated this week
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆58Updated last year
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 6 months ago
• 5HT / canopus
  ☆12Updated this week
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated last month
• xgrommx / idris-ecosystem
  ☆47Updated 6 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆70Updated 7 years ago
• graninas / stm-free
  STM on Free monads
  ☆23Updated 6 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 4 years ago
• williamdemeo / ial
  ☆13Updated this week
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆18Updated last month
• well-typed / ghc-events-analyze
  ☆67Updated 6 months ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• qnikst / haskell-fun
  A short scripts and programs
  ☆12Updated last year
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated 3 weeks ago
• typeable / schematic
  type-safe JSON spec and validation tool
  ☆84Updated 3 years ago
• fizruk / lambdaconf-2018-workshop
  LambdaConf 2018 workshop on building Telegram bots in Haskell.
  ☆25Updated 5 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago