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
  ☆119Updated 10 months ago
• hoodunit / purescript-react-native
  Low-level PureScript wrappers for React Native
  ☆60Updated 8 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 5 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆78Updated 6 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
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆100Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 9 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 6 years ago
• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 9 years ago
• pure11 / pure11
  A small strongly typed language that compiles to C++11
  ☆152Updated 5 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆69Updated 6 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• owickstrom / motor
  Type-safe effectful state machines in Haskell
  ☆95Updated 4 years ago
• paf31 / purescript-behaviors
  A simple push-pull FRP implementation
  ☆133Updated 4 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆112Updated 6 years ago
• serras / lambdaconf-2015-web
  Projects for LambdaConf 2015 Haskell web workshop
  ☆63Updated 9 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• natefaubion / purescript-psa
  Error/Warning reporting frontend for the PureScript compiler
  ☆90Updated 4 months ago
• uwap / idris-http
  An HTTP library for idris
  ☆40Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• commandodev / oHm
  Om with Haskell in it
  ☆104Updated 9 years ago
• fpco / ghcjs-react
  React bindings for GHCJS
  ☆48Updated 9 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆340Updated last year
• xgrommx / purescript-ecosystem
  ☆97Updated 4 years ago
• meiersi / blaze-react
  A blaze-html style ReactJS binding for Haskell using GHCJS
  ☆107Updated 8 years ago