Alternatives and similar repositories for c4-model

Users that are interested in c4-model are comparing it to the libraries listed below

• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆58Updated 3 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 6 years ago
• paf31 / the-future-is-comonadic
  My (rejected) OBT-2018 submission
  ☆33Updated 4 years ago
• afcondon / purescript-d3v4
  Starting from scratch to wrap D3v4
  ☆25Updated 8 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆44Updated 2 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 3 weeks ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 3 weeks ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 7 years ago
• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆38Updated 5 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• pkamenarsky / purescript-refract
  Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
  ☆49Updated 7 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆97Updated 3 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• sharkdp / purescript-ctprelude
  A Prelude with names from category theory
  ☆51Updated 9 years ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆175Updated last week
• hdgarrood / purescript-benchotron
  Straightforward benchmarking for PureScript/JavaScript.
  ☆31Updated 2 years ago
• ElvishJerricco / fraxl
  ☆89Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• willtim / Atavachron
  Fast, scalable and secure de-duplicating backup.
  ☆16Updated 5 years ago
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 9 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated 2 months ago
• puffnfresh / sonic2
  Sonic the Hedgehog 2 in Haskell
  ☆67Updated 3 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 6 years ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆93Updated 3 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆40Updated 6 years ago
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆90Updated 3 years ago
• migamake / json-autotype
  Automatic Haskell type inference from JSON input
  ☆149Updated 2 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 3 years ago