- Freiburg, Germany
- http://www.jochen-hoenicke.de
-
mempool Public
Bitcoin Mempool Statistics
-
silo-contracts-v2 Public
Forked from silo-finance/silo-contracts-v2Monorepo for Silo Protocol contracts V2
Solidity Other UpdatedDec 12, 2024 -
-
-
safe-contracts Public
Forked from safe-global/safe-smart-accountSafe allows secure management of blockchain assets.
TypeScript GNU Lesser General Public License v3.0 UpdatedNov 20, 2023 -
benchmark-submission Public
Forked from SMT-LIB/benchmark-submission-2023Repository for the submission of SMT-LIB benchmarks for the 2023 release.
SMT UpdatedApr 7, 2023 -
-
Hantek6022API Public
Forked from rpcope1/Hantek6022APIHantek 6022BE Python API for Windows and Linux.
-
eth2.0-specs Public
Forked from ethereum/consensus-specsEthereum 2.0 Specifications
Python Creative Commons Zero v1.0 Universal UpdatedDec 17, 2020 -
lnd Public
Forked from lightningnetwork/lndLightning Network Daemon โก๏ธ
Go MIT License UpdatedJul 20, 2020 -
electrum Public
Forked from spesmilo/electrumElectrum; Bitcoin thin client
-
smtcoq Public
Forked from dan-blank/smtcoqCommunication between Coq and SAT/SMT solvers
Coq Other UpdatedApr 9, 2020 -
trezord-go Public
Forked from trezor/trezord-go๐ TREZOR Communication Daemon (written in Go)
C GNU Lesser General Public License v3.0 UpdatedJan 27, 2020 -
bitcoin Public
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
C++ MIT License UpdatedMay 14, 2019 -
smtinterpol Public
Forked from ultimate-pa/smtinterpolSMTInterpol interpolating SMT solver
Java GNU Lesser General Public License v3.0 UpdatedMay 8, 2019 -
aiorpcX Public
Forked from kyuupichan/aiorpcXGeneric async RPC implementation, including JSON-RPC
Python MIT License UpdatedApr 6, 2019 -
chipwhisperer Public
Forked from newaetech/chipwhispererChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
C Other UpdatedMar 23, 2019 -
lightning-rfc Public
Forked from lightning/boltsLightning Network Specifications
Shell UpdatedMar 18, 2019 -
lingeling Public
Forked from arminbiere/lingelingLingeling SAT Solver
C MIT License UpdatedJan 21, 2019 -
python-trezor Public
Forked from trezor/python-trezorClient side implementation for TREZOR-compatible Bitcoin hardware wallets.
Python GNU Lesser General Public License v3.0 UpdatedJan 4, 2019 -
BitcoinUnlimited Public
Forked from BitcoinUnlimited/BitcoinUnlimitedBitcoin Unlimited integration/staging tree
C++ MIT License UpdatedNov 17, 2018 -
lightningnetworkstores.github.io Public
Forked from lightningnetworkstores/lightningnetworkstores.github.ioRepository of lightning network stores
-
qrcodejs Public
Forked from davidshimjs/qrcodejsCross-browser QRCode generator for javascript
JavaScript MIT License UpdatedSep 18, 2018 -
trezor-core Public
Forked from trezor/trezor-core๐ TREZOR Core
C GNU General Public License v3.0 UpdatedJun 28, 2018 -
brainwallet.github.io Public
Forked from brainwallet/brainwallet.github.ioBrainwallet site
-
trezor-crypto Public
Forked from trezor/trezor-cryptoHeavily optimized cryptography algorithms for embedded devices.
-
trezor-mcu Public
Forked from trezor/trezor-mcuSources for TREZOR firmware
-
-
trezor-qrenc Public
Forked from trezor-graveyard/trezor-qrenc๐ Micro QR Code Generator
C MIT License UpdatedMar 27, 2018 -
go-wanchain Public
Forked from wanchain/go-wanchainwanchain block chain main code
Go GNU Lesser General Public License v3.0 UpdatedMar 5, 2018