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
  ☆122Updated last year
• hoodunit / purescript-react-native
  Low-level PureScript wrappers for React Native
  ☆60Updated 8 years ago
• zrho / purescript-optic-ui
  PureScript UI framework based on lenses.
  ☆122Updated 8 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 7 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 2 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 6 years ago
• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 10 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 7 years ago
• xgrommx / purescript-ecosystem
  ☆96Updated 5 years ago
• paf31 / purescript-react-explore
  Experiments with comonads for modelling React UIs
  ☆91Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆101Updated 9 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆111Updated 7 years ago
• cblp / crdt
  ☆43Updated 4 years ago
• fpco / ghcjs-react
  React bindings for GHCJS
  ☆48Updated 10 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 6 years ago
• meiersi / blaze-react
  A blaze-html style ReactJS binding for Haskell using GHCJS
  ☆107Updated 9 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 5 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 6 months ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 9 years ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆47Updated last year
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• justinwoo / purescript-bundaegi
  because nobody really wants to eat boiled silkworms
  ☆13Updated 8 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• typed-wire / typed-wire
  Language independent type-safe communication
  ☆134Updated 7 years ago