BuilderGraphAccount

Repository · dormant

dgpv/ABL_contract_TLAplus_spec

TLA+ Specification for Asset-Based Lending smart contract state transition table generation

TLANOASSERTIONBitcoin

stars

4

forks

4

contributors

1

open issues

0

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit2043d ago

Top contributors

1

dgpv

dgpv

@dgpv

42

commits

Ecosystem context

bitcoin/bitcoin

Bitcoin Core integration/staging tree

C++last commit 2026-06-08

bitcoinbook/bitcoinbook

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

HTMLlast commit 2024-12-26

HelloZeroNet/ZeroNet

ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

JavaScriptlast commit 2024-01-31

getumbrel/umbrel

An elegant home server OS. Run OpenClaw, store your files and photos, run a Bitcoin node, and do more with over 300 apps in the Umbrel App Store.

TypeScriptlast commit 2026-05-12

getumbrel/llama-gpt

A self-hosted, offline, ChatGPT-like chatbot. Powered by Llama 2. 100% private, with no data leaving your device. New: Code Llama support!

TypeScriptlast commit 2024-04-23

bitcoin/bips

Bitcoin Improvement Proposals

Wikitextlast commit 2026-06-09

spesmilo/electrum

Electrum Bitcoin Wallet

Pythonlast commit 2026-06-08

lightningnetwork/lnd

Lightning Network Daemon ⚡️

Golast commit 2026-06-09

Subscriber view

Unlock the full view of dgpv/ABL_contract_TLAplus_spec

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.