Alternatives and similar repositories for remote-pwl

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

• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 8 years ago
• mbbx6spp / styleguides
  A repository with a coding standard/style guide and conventions document for each of the languages I care about
  ☆101Updated 7 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 3 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago
• mbbx6spp / sinatra-on-nix
  An example Sinatra project using Nix to configure the development environment
  ☆14Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated last year
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• tonymorris / lets-lens
  Course material for lens
  ☆22Updated 8 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• sjsyrek / dinner-for-devs
  Simple recipes for lazy programmers.
  ☆36Updated 4 years ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 6 years ago
• bitemyapp / presentations
  what it says on the tin
  ☆24Updated 7 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• dkubb / haskell-builder
  A docker container for compiling statically linked binaries written in Haskell
  ☆26Updated 9 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• bodil / spectre-of-free-software
  ☆21Updated 5 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago