papers-we-love / remote-pwlLinks
Papers We ❤️ Remote
☆26Updated 8 years ago
Alternatives and similar repositories for remote-pwl
Users that are interested in remote-pwl are comparing it to the libraries listed below
Sorting:
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- What I Wish I Knew While Learning Nix☆34Updated 3 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 5 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Course material for lens☆22Updated 8 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- A repository with a coding standard/style guide and conventions document for each of the languages I care about☆101Updated 7 years ago
- Repository for LambdaConf 2016 USA.☆64Updated 4 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- ☆21Updated 5 years ago
- Benchmark a Haskell websocket server with tsung☆13Updated 9 years ago
- ☆23Updated 7 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- what it says on the tin☆24Updated 7 years ago
- An example Sinatra project using Nix to configure the development environment☆14Updated 8 years ago
- an example airship app☆14Updated 8 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- A tutorial for using Emacs with Haskell projects☆43Updated 3 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Make your Haskell git repositories fashionable.☆55Updated 7 years ago
- Transactional monadic actions on top of PostgreSQL.☆59Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A cross-platform file activity monitor☆72Updated 9 years ago
- ☆94Updated 8 years ago
- Basic application skeleton for desktop apps using the Elm programming language☆29Updated 2 years ago