dfinity-side-projects / dhc
Compiles Haskell to WebAssembly
☆166Updated 5 years ago
Alternatives and similar repositories for dhc:
Users that are interested in dhc are comparing it to the libraries listed below
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆120Updated 6 years ago
- Web3 API for Haskell☆192Updated 3 months ago
- Haskell WebAssembly Toolkit☆152Updated 3 weeks ago
- ☆21Updated 6 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 6 years ago
- ☆77Updated 2 years ago
- A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols☆149Updated 4 years ago
- Nix expressions for cross compiling to WebAssembly☆141Updated 4 years ago
- Haskell compiler infastructure for WebAssembly☆356Updated 7 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- A code generation tool for purescript-web3☆22Updated last month
- A simple Purescript JSON library that uses types automatically☆134Updated last year
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Various functions which are used across multiple @serokell packages☆44Updated 5 years ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Updated 6 years ago
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- Template project for getting started with Halogen☆130Updated last year
- A small strongly typed language that compiles to C++11☆152Updated 5 years ago
- A simple push-pull FRP implementation☆132Updated 4 years ago
- Create PureScript datatypes from Haskell datatypes☆111Updated 7 months ago
- React Native bindings for purescript☆117Updated 3 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Updated 4 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Extensional capabilities and deriving combinators☆215Updated 7 months ago