bazqux / bazqux-urweb

Related projects: ⓘ

• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆90Updated 6 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• michaelschade / hs-stripe
  A Haskell implementation of the Stripe API.
  ☆34Updated 8 years ago
• positiondev / fn
  A functional web framework
  ☆34Updated 2 years ago
• massysett / penny
  ☆28Updated this week
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• tmcgilchrist / postgresql-transactional
  Transactional monadic actions on top of PostgreSQL.
  ☆60Updated 2 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• dmbarbour / haskell-vcache
  ☆79Updated this week
• agocorona / hplayground
  Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…
  ☆60Updated 8 years ago
• sseefried / open-epidemic-game
  A game about exponential growth written in Haskell
  ☆31Updated 8 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• chrisdone / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆81Updated 6 years ago
• ozataman / csv-conduit
  Flexible, fast and constant-space CSV library for Haskell using conduits
  ☆52Updated last week
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 10 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 6 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 7 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆59Updated 5 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆52Updated 8 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆106Updated 3 months ago
• fpco / stackage-cli
  ☆28Updated 9 years ago