Proprietario
input-output-hk
164 repository indicizzati · Vedi su GitHub
-
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...
Haskell · 1365 stelle
-
daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
TypeScript · 1247 stelle
-
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Nix · 631 stelle
-
Scorex
Modular blockchain framework. Public domain
JavaScript · 503 stelle
-
TypeScript · 279 stelle
-
cardano-js-sdk
JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets
TypeScript · 237 stelle
-
mantis
A Scala based client for Ethereum-like Blockchains.
Scala · 235 stelle
-
scrypto
Cryptographic primitives for Scala
Scala · 203 stelle
-
lobster-challenge
Simple Plutus contract to help give Charles' stuffed lobster a name
Haskell · 177 stelle
-
bitte
Nix Ops for Terraform, Consul, Vault, Nomad
Nix · 161 stelle
-
symphony-2
Immersive 3D Blockchain Explorer
JavaScript · 129 stelle
-
Alonzo-testnet
repository for the Alonzo testnet
Haskell · 107 stelle
-
stack2nix
Generate nix expressions for Haskell projects
Nix · 100 stelle
-
iodb
Multiversioned key-value database, especially useful for blockchain
Scala · 96 stelle
-
react-polymorph
React components with highly customizable logic, markup and styles.
JavaScript · 80 stelle
-
cardano-ops
NixOps deployment configuration for IOHK/Cardano devops
Nix · 66 stelle
-
plutus-use-cases
Plutus Use Cases
64 stelle
-
ouroboros-leios
Documentation and tools relating to the design and prototyping of Ouroboros Leios
Jupyter Notebook · 59 stelle
-
cardano-rt-view
RTView: real-time watching for Cardano nodes (ARCHIVED)
Haskell · 58 stelle
-
Lean-blaster
SMT-based reasoning core for Lean4
Lean · 57 stelle
- 144 altri repository si trovano su Vedi su GitHub
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
input-output-hk/haskell.nix#2573 ·
-
input-output-hk/ouroboros-leios#1113 · 1 assegnatario ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
input-output-hk/ouroboros-leios#1112 · 2 commenti ·
-
input-output-hk/plutus-testing-tool#193 · 1 commento · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
input-output-hk/ouroboros-leios#1111 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 40/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100
-
cardano-node stalls after stdout "Broken pipe" while process remains alive — Daedalus 11.3.0+ Apertabug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
input-output-hk/daedalus#3414 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
input-output-hk/ouroboros-leios#1110 ·
-
SPIKE: Stream EB closures Apertaprototype
input-output-hk/ouroboros-leios#1109 · 1 reazione · 1 assegnatario ·
-
parallel env are conflicting Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
input-output-hk/hades#5 ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
input-output-hk/daedalus#3413 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
input-output-hk/daedalus#3412 ·
-
automated weekly-status
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 15/100
input-output-hk/acropolis#927 ·
-
area: proof reconstruction
input-output-hk/Lean-blaster#266 · 1 assegnatario ·
-
area: proof reconstruction
input-output-hk/Lean-blaster#265 · 1 assegnatario ·
-
area: proof reconstruction
input-output-hk/Lean-blaster#264 · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
release-candidate
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
input-output-hk/ouroboros-leios#1107 · 2 commenti · 1 assegnatario ·
-
Smt translation error for Axiom types, Opaque types and Inductive datatypes with no constructors Apertaarea: smt bug
input-output-hk/Lean-blaster#262 · 1 assegnatario ·
-
bug
input-output-hk/daedalus#3409 · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
input-output-hk/ouroboros-leios#1106 · 1 assegnatario ·
-
prototype
input-output-hk/ouroboros-leios#1105 ·
-
Production-grade Leios DB Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
input-output-hk/ouroboros-leios#1103 · 1 assegnatario ·
-
area: proof reconstruction
input-output-hk/Lean-blaster#260 · 1 assegnatario ·
-
area: proof reconstruction bug
input-output-hk/Lean-blaster#259 · 1 assegnatario ·
-
input-output-hk/ouroboros-leios#1101 · 3 commenti · 2 reazioni · 2 assegnatari ·
-
input-output-hk/ouroboros-leios#1100 · 1 commento · 1 assegnatario ·
-
SPIKE: egress capacity gap Apertarelease-candidate
input-output-hk/ouroboros-leios#1099 · 1 assegnatario ·
-
release-candidate
input-output-hk/ouroboros-leios#1098 · 1 assegnatario ·
-
input-output-hk/Lean-blaster#257 · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
input-output-hk/Lean-blaster#256 ·
-
CEK Machine V2 Aperta
input-output-hk/Lean-blaster#254 · 1 assegnatario ·
-
Splash pool property Aperta
input-output-hk/Lean-blaster#253 · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
input-output-hk/plutus-testing-tool#186 · 10 commenti · 1 assegnatario ·
-
input-output-hk/plutus-testing-tool#185 · 8 commenti · 1 assegnatario ·
-
automated weekly-status
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 20/100
input-output-hk/acropolis#926 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
input-output-hk/daedalus#3404 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
input-output-hk/cardano-js-sdk#1747 ·
-
bug
input-output-hk/daedalus#3402 · 2 assegnatari ·
-
bug
input-output-hk/daedalus#3401 · 1 assegnatario ·
-
bug
input-output-hk/daedalus#3400 · 2 assegnatari ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100
input-output-hk/Lean-blaster#251 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
input-output-hk/Lean-blaster#249 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
input-output-hk/Lean-blaster#245 ·
-
release-candidate
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
input-output-hk/ouroboros-leios#1093 · 1 assegnatario ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.