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
• 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 3 years ago
• zrho / purescript-optic-ui
  PureScript UI framework based on lenses.
  ☆122Updated 9 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 6 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 10 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 7 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 10 years ago
• paf31 / purescript-react-explore
  Experiments with comonads for modelling React UIs
  ☆91Updated 7 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆111Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 10 years ago
• xgrommx / purescript-ecosystem
  ☆96Updated 5 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• kritzcreek / psc-ide
  DEPRECATED - Editor Support for the PureScript programming language
  ☆61Updated 9 years ago
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 6 years ago
• damncabbage / purescript-workshop
  Step-by-step tutorial materials for the "A Whirlwind Tour of PureScript" workshop, held at YOW! Lambda Jam 2016 in Brisbane, and Compose …
  ☆37Updated 8 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 6 years ago
• fpco / ghcjs-react
  React bindings for GHCJS
  ☆48Updated 10 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago
• justinwoo / purescript-0.12.0-hello-world
  PureScript 0.12.0 Hello World
  ☆18Updated 6 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• meiersi / blaze-react
  A blaze-html style ReactJS binding for Haskell using GHCJS
  ☆108Updated 9 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆101Updated 10 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated last week
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated 2 years ago
• alexmingoia / pux-devtool
  Pux time-travelling devtool.
  ☆42Updated 8 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 7 months ago