input-output-hk / plutus
The Plutus language implementation and tools
See what the GitHub community is most excited about today.
The Plutus language implementation and tools
Dockerfile linter, validate inline bash, written in Haskell
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
The Plutus application platform
Ethereum smart contract fuzzer
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces.
Universal markup converter
Reference DAML application demonstrating the use case of repackaging Mortgage Based Securities.
Haskell homework tests
An advanced keyboard manager
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
ShellCheck, a static analysis tool for shell scripts
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
A comprehensive Google Services SDK for Haskell.
A logical authorization system
The ledger implementation and specifications of the Cardano blockchain.
Linux VR Desktop
REST API for any Postgres database
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
The core component that is used to participate in a Cardano decentralised blockchain.