Obsidian Systems LLC

dependent-map

Dependently-typed finite maps (partial dependent products)

ledger-app-nervos

go-ipfs-swh-plugin

IPFS plugin for SoftWare Heritage IDentifiers

obelisk-tailwind-example

An example project using Obelisk, PostCSS, and Tailwind CSS

ledger-app-avalanche

Ledger app providing an AVAX wallet

dependent-monoidal-map

Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict

dependent-sum-aeson-orphans

JSON instances for DSum and DMap

ckb

The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.

hw-app-pokt

ledger-app-rust-example

A demo Rust app using the UI and SDK as crates.

nixos-generators

Collection of image builders [maintainer=@Lassulus]

string-qq

QuasiQuoter for non-interpolated, overloaded strings

arrayvec

A vector with a fixed capacity. (Rust)

attoparsec

A fast Haskell library for parsing ByteStrings

cardano-addresses

Addresses and mnemonic manipulation & derivations

chainweaver

Kadena Chainweaver desktop wallet and web-based playground for Pact

developer-portal

The Cardano Developer Portal

go-quai

Official Go Implementation of the Quai Network

hw-app-hash

hw-app-sui

kuro

Kuro permissioned blockchain, powered by ScalableBFT and Pact

ledger-nanos-ui

UI gadgets for Rust Nano S applications, in Beta

ledger-rs

Rust crate to connect to Ledger devices

ledgerctl

A library to control Ledger devices

llvm-ir-analysis

OSX-KVM

Run macOS on QEMU/KVM. Only commercial support is available. With OpenCore + Big Sur support now!

rust-bech32

Bech32 format encoding and decoding

servant-jsaddle

servant jsaddle client

signing-api

Kadena wallet signing API definition and reference docs

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language