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
  ☆120Updated last year
• hoodunit / purescript-react-native
  Low-level PureScript wrappers for React Native
  ☆60Updated 8 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 2 years ago
• zrho / purescript-optic-ui
  PureScript UI framework based on lenses.
  ☆122Updated 8 years ago
• fpco / ghcjs-react
  React bindings for GHCJS
  ☆48Updated 9 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 5 years ago
• joneshf / elm-brands
  An experiment with higher-kinded types in elm
  ☆57Updated 8 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 6 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆113Updated 6 years ago
• xgrommx / purescript-ecosystem
  ☆97Updated 4 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• afcondon / purescript-d3v4
  Starting from scratch to wrap D3v4
  ☆25Updated 8 years ago
• kritzcreek / psc-ide
  DEPRECATED - Editor Support for the PureScript programming language
  ☆61Updated 8 years ago
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 5 years ago
• natefaubion / purescript-psa
  Error/Warning reporting frontend for the PureScript compiler
  ☆90Updated 6 months ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆69Updated 7 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• metrix-frs / baresto
  Baresto UI
  ☆39Updated 7 years ago
• waterson / purescript-asteroids
  Asteroids for a web browser, in PureScript
  ☆43Updated 10 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 4 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 7 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆339Updated last year
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• simonmar / haskell-eXchange-2015
  ☆41Updated 9 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆104Updated 4 years ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆46Updated 10 months ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago