papers-we-love / remote-pwl

Related projects: ⓘ

• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆35Updated 2 years ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 7 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 7 years ago
• tonymorris / lets-lens
  Course material for lens
  ☆21Updated 7 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• UnkindPartition / bert
  Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)
  ☆21Updated 8 years ago
• bitemyapp / presentations
  what it says on the tin
  ☆24Updated 6 years ago
• ajhager / airnix
  ☆28Updated this week
• implementable / implementable
  ☆21Updated this week
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• hjwylde / git-fmt
  WIP: A custom git command for formatting code
  ☆11Updated 6 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated 6 months ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• erlang-nix / hex2nix
  A tool to automatically convert Hex packages to the Nix Expression format
  ☆33Updated 4 years ago
• mbbx6spp / styleguides
  A repository with a coding standard/style guide and conventions document for each of the languages I care about
  ☆101Updated 6 years ago
• dkubb / haskell-builder
  A docker container for compiling statically linked binaries written in Haskell
  ☆26Updated 9 years ago
• mbbx6spp / sinatra-on-nix
  An example Sinatra project using Nix to configure the development environment
  ☆14Updated 7 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 9 years ago
• referentiallabs / idris-type-providers
  ☆18Updated this week
• NoRedInk / elm-string-extra
  Convenience functions for working with Strings in Elm.
  ☆10Updated 7 years ago
• ponylang / pony-for-x
  Source of the "Pony for X" intro to Pony series
  ☆14Updated 7 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• donkeybonks / burrito
  ☆25Updated this week
• milibopp / electron-elm-hello
  Basic application skeleton for desktop apps using the Elm programming language
  ☆29Updated last year
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 7 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆41Updated 10 years ago