haroldcarr / simple-blockchain
a simple blockchain (in Haskell) to illustrate basic concepts/operation
☆27Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for simple-blockchain
- ☆29Updated 5 years ago
- ☆38Updated 6 years ago
- Example CRUD web server+client using Servant☆34Updated 2 years ago
- ♾️ Sized list☆46Updated 6 months ago
- ☆47Updated 5 years ago
- ☆50Updated 9 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- higher-kinded data☆30Updated last year
- A data-type like Either but with an accumulating Applicative☆99Updated last year
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- How to build Docker image for Haskell web app?☆29Updated 5 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A self hosted website for announcing group events☆39Updated 3 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Slides and exercises for an STM "course" series☆30Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- An example Servant API.☆19Updated 9 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 4 years ago
- Advent of Code 2017☆41Updated 5 years ago
- ☆80Updated 5 years ago