Repository · steady
LambdaBuffers toolkit for sharing types and their semantics between different languages
stars
32
forks
1
contributors
10
open issues
40
bladyjoker
@bladyjoker
647
commits
szg251
@szg251
388
cstml
@cstml
146
gnumonik
@gnumonik
44
jaredponn
@jaredponn
37
chfanghr
@chfanghr
6
aciceri
@aciceri
3
nini-faroux
@nini-faroux
t4ccer
@t4ccer
SeungheonOh
@SeungheonOh
input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
IntersectMBO/plutus
The Plutus language implementation and tools
input-output-hk/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.
input-output-hk/daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
cardano-foundation/cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
IntersectMBO/essential-cardano
Repository for the Essential Cardano list
input-output-hk/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.