Stars
Cryptographic currency implementing Ouroboros PoS protocol
A static website compiler library in Haskell
The Plutus language implementation and tools
Haskell to VHDL/Verilog/SystemVerilog compiler
Command line client for Nix binary cache hosting:
A peer-to-peer stack for code collaboration
Release with confidence, state-of-the-art property testing for Haskell.
Ваша первая книга о языке Haskell
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
Easy to use library for building Telegram bots in Haskell.
Haskell client library for the ROS robotics framework.
A Haskell library for the Docker Engine API
DEPRECATED: Accelerate backend for NVIDIA GPUs
A Haskell framework that facilitates writing ABCI applications
Experimental Smart Contracts In Plutus.
State-space estimation algorithms and models
Haskell implementation of a nix binary cache and client.
High-level bindings to the Messenger Platform API based on servant library.
Haskell Bot it :: Haskell framework for writing multiplatform message bots
Robonomics network provider software (xrtd) and other cli tools
AIRA Telegram bot integration & services
Robonomics game: railway market switcher