Alternatives and similar repositories for remote-pwl:

Users that are interested in remote-pwl are comparing it to the libraries listed below

• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 9 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 9 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆35Updated 3 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆66Updated 11 months ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• lambdaconf / lambdaconf-2016-usa
  Repository for LambdaConf 2016 USA.
  ☆64Updated 4 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• tonymorris / lets-lens
  Course material for lens
  ☆22Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 7 years ago
• mbbx6spp / sinatra-on-nix
  An example Sinatra project using Nix to configure the development environment
  ☆14Updated 8 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 6 years ago
• dkubb / haskell-builder
  A docker container for compiling statically linked binaries written in Haskell
  ☆26Updated 9 years ago
• tmcgilchrist / postgresql-transactional
  Transactional monadic actions on top of PostgreSQL.
  ☆60Updated 2 years ago
• tylerholien / milena
  the (very humble) beginnings of a kafka client for haskell
  ☆34Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 14 years ago
• bitemyapp / presentations
  what it says on the tin
  ☆24Updated 6 years ago