rainbyte / openwhisk-wrapperLinks
Haskell-based OpenWhisk services
☆20Updated 8 years ago
Alternatives and similar repositories for openwhisk-wrapper
Users that are interested in openwhisk-wrapper are comparing it to the libraries listed below
Sorting:
- Haskell libraries for OpenTracing.io☆16Updated 7 years ago
- Jupyter notebooks☆58Updated 6 months ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- Distributed tracing☆24Updated last year
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Content Addressable Storage Archive☆41Updated last year
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 9 years ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Data centralization tool☆35Updated 4 years ago
- User-contributed extensions to diagrams☆27Updated this week
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- a monadic graph library☆39Updated 3 months ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Cap'n Proto for Haskell☆96Updated last year
- Reasonably efficient probability monad for Haskell.☆19Updated 11 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Comma (and other) separated values☆78Updated last year
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- ☆30Updated 4 months ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- ☆16Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago