conal / talk-2014-bayhac-denotational-design

Related projects ⓘ

Alternatives and complementary repositories for talk-2014-bayhac-denotational-design

• conal / talk-2014-lambdajam-denotational-design
  Talk material for LambdaJam 2014/2015 on denotational design
  ☆118Updated 10 months ago
• hoodunit / purescript-react-native
  Low-level PureScript wrappers for React Native
  ☆60Updated 7 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 5 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 6 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆112Updated 6 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆87Updated 2 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆78Updated 6 years ago
• fpco / ghcjs-react
  React bindings for GHCJS
  ☆48Updated 9 years ago
• natefaubion / purescript-psa
  Error/Warning reporting frontend for the PureScript compiler
  ☆90Updated 3 months ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆270Updated 11 years ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆45Updated 7 months ago
• meiersi / blaze-react
  A blaze-html style ReactJS binding for Haskell using GHCJS
  ☆107Updated 8 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆69Updated 6 years ago
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 5 years ago
• slamdata / truffled-purescript
  ☆92Updated 8 years ago
• justinwoo / purescript-bundaegi
  because nobody really wants to eat boiled silkworms
  ☆13Updated 7 years ago
• paf31 / purescript-behaviors
  A simple push-pull FRP implementation
  ☆133Updated 4 years ago
• arthurxavierx / purescript-comonad-rss
  RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.
  ☆52Updated 6 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆68Updated 9 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆100Updated 9 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 7 years ago
• bodil / purescript-vdom
  A native PureScript virtual DOM implementation.
  ☆48Updated 7 years ago
• purescript / purescript-in-purescript
  PureScript compiler written in PureScript (On hold / inactive)
  ☆61Updated 10 years ago
• kritzcreek / pscid
  A lightweight, fast and unintrusive PureScript file-watcher
  ☆134Updated 8 months ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 4 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆340Updated last year
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• Jyothsnasrinivas / eta-android-2048
  Android 2048 game using Yampa FRP library in Eta
  ☆56Updated 6 years ago