papers-we-love / remote-pwl
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
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 4 years ago
- 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 7 years ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 9 years ago
- What I Wish I Knew While Learning Nix☆35Updated 3 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 8 years ago
- ☆23Updated 7 years ago
- an example airship app☆14Updated 8 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 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
- Course material for lens☆22Updated 8 years ago
- An example Sinatra project using Nix to configure the development environment☆14Updated 8 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Transactional monadic actions on top of PostgreSQL.☆59Updated 2 years ago
- A cross-platform file activity monitor☆72Updated 8 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- QuickCheck extras.☆29Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- what it says on the tin☆24Updated 6 years ago
- A docker container for compiling statically linked binaries written in Haskell☆26Updated 9 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- GNU bash backend for Idris☆52Updated 6 years ago