jamesthompson / piservView external linksLinks
Raspberry Pi HTTP Interface for GPIO Control
☆21Feb 7, 2017Updated 9 years ago
Alternatives and similar repositories for piserv
Users that are interested in piserv are comparing it to the libraries listed below
Sorting:
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 8 years ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 8 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- Haskell client driver for RethinkDB☆20Mar 14, 2021Updated 4 years ago
- ☆19Sep 19, 2019Updated 6 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Nov 20, 2018Updated 7 years ago
- Make presentations for data types☆25Oct 21, 2021Updated 4 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Feb 1, 2019Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 7 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- Example CRUD web server+client using Servant☆34Sep 5, 2022Updated 3 years ago
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 10 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Dec 14, 2017Updated 8 years ago
- Selective Functors & Probabilistic Programming☆22Jun 17, 2021Updated 4 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 6 years ago
- Vector builder☆16Jan 13, 2026Updated last month
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- Command line tool for converting epub files to markdown☆15Jun 26, 2017Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 6 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- Quasiquoter for LLVM☆31Apr 14, 2018Updated 7 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 5 years ago