Alternatives and similar repositories for Zef

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

• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 7 months ago
• fgaz / shine
  Declarative graphics for the browser
  ☆54Updated 5 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated last year
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆65Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 8 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• willdonnelly / dyre
  A Dynamic Reconfiguration Library for Haskell Programs
  ☆93Updated 4 months ago
• haskell-github-trust / ulid
  Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)
  ☆35Updated 11 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 6 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 10 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 8 years ago
• sebastiaanvisser / fclabels
  First class composable record labels for Haskell.
  ☆68Updated 2 months ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆67Updated 4 years ago
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated this week
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆119Updated 7 months ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 9 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated 2 weeks ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 9 months ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆71Updated this week
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 6 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆51Updated last month
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 5 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago