Repository · steady
The Compact programming language
stars
30
forks
18
contributors
17
open issues
107
dybvig
@dybvig
252
commits
kmillikin
@kmillikin
191
pataei
@pataei
99
JosephDenman
@JosephDenman
70
leszek-shielded
@leszek-shielded
32
iquerejeta
@iquerejeta
15
tkerber
@tkerber
7
gilescope
@gilescope
5
sgillespie
@sgillespie
4
MicroProofs
@MicroProofs
3
adamreynolds-io
@adamreynolds-io
2
jonathan-sobel
@jonathan-sobel
golddydev
@golddydev
RomarQ
@RomarQ
chrisferry
@chrisferry
1
rvcas
@rvcas
lowhung
@lowhung
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.