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
- Web3 API for Haskell☆192Updated 3 months ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- Implementation of cryptographic primitives using Idris☆120Updated 6 years ago
- Haskell WebAssembly Toolkit☆152Updated last week
- Various functions which are used across multiple @serokell packages☆44Updated 5 years ago
- ☆77Updated 2 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 2 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆83Updated 6 years ago
- a purescript library for the web3 api☆128Updated 3 weeks ago
- Nix expressions for cross compiling to WebAssembly☆141Updated 4 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Updated 6 years ago
- Haskell compiler infastructure for WebAssembly☆356Updated 7 years ago
- The symbolic execution engine powering the K Framework☆214Updated this week
- Test monadic programs using state machine based models☆202Updated 3 years ago
- ☆21Updated 6 years ago
- Software Transactional Memory☆102Updated 2 months ago
- A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols☆149Updated 4 years ago
- A simple Purescript JSON library that uses types automatically☆134Updated last year
- ☆72Updated 6 years ago
- React Native bindings for purescript☆117Updated 2 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- A code generation tool for purescript-web3☆22Updated 3 weeks ago
- Create PureScript datatypes from Haskell datatypes☆111Updated 6 months ago
- Quick HTTP servers☆60Updated 6 years ago
- A GraphQL query parser for Haskell☆59Updated 2 years ago
- Example code for how we swap compiled code within a running Haskell process.☆171Updated 6 years ago
- Template project for getting started with Halogen☆129Updated last year