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 6 months ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 8 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 5 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years 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 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated 2 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆64Updated 3 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆51Updated this week
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 8 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• MedeaMelana / JsonGrammar2
  ☆26Updated 9 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• fgaz / shine
  Declarative graphics for the browser
  ☆54Updated 5 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated last month
• lancelet / space-workshop
  Haskell simulations of spacecraft manoeuvres
  ☆19Updated 5 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• jberthold / packman
  Evaluation-orthogonal serialisation of Haskell data, as a library
  ☆62Updated 10 months ago