MichaelBurge / haskoin
Proof-of-concept Blockchain in Haskell
☆90Updated 7 years ago
Alternatives and similar repositories for haskoin:
Users that are interested in haskoin are comparing it to the libraries listed below
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- Compiles Haskell to WebAssembly☆166Updated 6 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- ☆77Updated 2 years ago
- Running Haskell code on AWS Lambda☆136Updated 8 years ago
- A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols☆148Updated 4 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- Various functions which are used across multiple @serokell packages☆44Updated 5 years ago
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 4 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Test project☆7Updated 2 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- Haskell implementation of RSCoin☆50Updated 8 years ago
- Create PureScript datatypes from Haskell datatypes☆111Updated 9 months ago
- An example of writing an AWS Lambda function in Purescript☆37Updated 7 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- ☆71Updated 6 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 3 years ago
- Secure WebSocket (WSS) clients in Haskell.☆69Updated 2 months ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 4 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 6 years ago
- Compile PureScript into Haskell.☆69Updated 7 years ago