José Seraquive's starred repositories
static-haskell-nix
easily build most Haskell programs into fully static Linux executables
plutonomicon
Advanced techniques in the plutus smart contract language
plutus-apps
The Plutus application platform
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
highlight-indent-guides
Emacs minor mode to highlight indentation
template-haskell
batteries-included nix-based haskell project template
ouroboros-network
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
web_crawler
An exercise to be able to join Stack Builders
haskell-nix
Nix and Haskell in production
plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.