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
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 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
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- What I Wish I Knew While Learning Nix☆34Updated 3 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 5 years ago
- Getting Widespread OCaml Adoption☆84Updated 7 years ago
- 🐢 Bringing slow news for the nervous among us☆113Updated 4 years ago
- Source of the "Pony for X" intro to Pony series☆14Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- CLI-driven TLA+ project template☆43Updated 6 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆138Updated 4 years ago
- Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.☆244Updated 2 years ago
- what it says on the tin☆24Updated 7 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- Erlang Backend for Idris Compiler☆188Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- A simple http server written in Prolog☆30Updated 8 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- An example Sinatra project using Nix to configure the development environment☆14Updated 8 years ago
- an example airship app☆14Updated 9 years ago
- A cross-platform file activity monitor☆72Updated 9 years ago
- ☆94Updated 9 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago