Alternatives and similar repositories for talk-2014-bayhac-denotational-design:

Users that are interested in talk-2014-bayhac-denotational-design are comparing it to the libraries listed below

• conal / talk-2014-lambdajam-denotational-design
  Talk material for LambdaJam 2014/2015 on denotational design
  ☆121Updated last year
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 5 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 6 years ago
• zrho / purescript-optic-ui
  PureScript UI framework based on lenses.
  ☆122Updated 8 years ago
• hoodunit / purescript-react-native
  Low-level PureScript wrappers for React Native
  ☆60Updated 8 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆69Updated 7 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 2 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆113Updated 6 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 5 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• serras / lambdaconf-2015-web
  Projects for LambdaConf 2015 Haskell web workshop
  ☆63Updated 9 years ago
• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 9 years ago
• paf31 / purescript-behaviors
  A simple push-pull FRP implementation
  ☆132Updated 4 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated last year
• natefaubion / purescript-psa
  Error/Warning reporting frontend for the PureScript compiler
  ☆90Updated 7 months ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆101Updated 7 months ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆47Updated 11 months ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• commandodev / oHm
  Om with Haskell in it
  ☆104Updated 9 years ago
• owickstrom / motor
  Type-safe effectful state machines in Haskell
  ☆95Updated 4 years ago
• justinwoo / purescript-bundaegi
  because nobody really wants to eat boiled silkworms
  ☆13Updated 7 years ago
• xgrommx / purescript-ecosystem
  ☆97Updated 4 years ago
• afcondon / purescript-d3v4
  Starting from scratch to wrap D3v4
  ☆25Updated 8 years ago
• transient-haskell / transient-universe
  A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…
  ☆139Updated 3 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago