papers-we-love / remote-pwl
Papers We ❤️ Remote
☆26Updated 7 years ago
Alternatives and similar repositories for remote-pwl:
Users that are interested in remote-pwl are comparing it to the libraries listed below
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- What I Wish I Knew While Learning Nix☆35Updated 3 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 4 years ago
- An example Sinatra project using Nix to configure the development environment☆14Updated 7 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- ☆22Updated 5 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Very small examples of TLA+ features.☆43Updated 5 years ago
- WIP: A custom git command for formatting code☆11Updated 6 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- ☆94Updated 8 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Basic application skeleton for desktop apps using the Elm programming language☆29Updated last year
- A repo for my presentations.☆27Updated 7 years ago
- A tutorial for using Emacs with Haskell projects☆43Updated 3 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Course material for lens☆21Updated 7 years ago
- A fast Haskell Bloom filter library.☆60Updated last year
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- A docker container for compiling statically linked binaries written in Haskell☆26Updated 9 years ago
- Slack Web and RTM API☆32Updated 6 years ago
- Convenience functions for working with Strings in Elm.☆10Updated 8 years ago
- Slides for my talks at various meetups.☆21Updated 4 months ago
- Static blog generator in Idris.☆39Updated 9 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago