Jochen Hoenicke (jhoenicke)

jhoenicke

Geek Repo

Company:@Certora

Location:Freiburg, Germany

Home Page:http://www.jochen-hoenicke.de

Github PK Tool:Github PK Tool


Organizations
SMT-COMP
ultimate-pa

Jochen Hoenicke's repositories

mempool

Bitcoin Mempool Statistics

Language:JavaScriptLicense:AGPL-3.0Stargazers:332Issues:35Issues:63

Hantek6022API

Hantek 6022BE Python API for Windows and Linux.

Language:AssemblyLicense:GPL-2.0Stargazers:12Issues:8Issues:0

trezor-mcu

Sources for TREZOR firmware

Language:CLicense:LGPL-3.0Stargazers:4Issues:6Issues:0

electrum

Electrum; Bitcoin thin client

Language:PythonLicense:MITStargazers:1Issues:3Issues:0

lightningnetworkstores.github.io

Repository of lightning network stores

Language:HTMLStargazers:1Issues:3Issues:0

aiorpcX

Generic async RPC implementation, including JSON-RPC

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

benchmark-submission

Repository for the submission of SMT-LIB benchmarks for the 2023 release.

Language:SMTStargazers:0Issues:0Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:0Issues:2Issues:0

BitcoinUnlimited

Bitcoin Unlimited integration/staging tree

Language:C++License:MITStargazers:0Issues:3Issues:0

bolt

An embedded key/value database for Go.

Language:GoLicense:MITStargazers:0Issues:2Issues:0

brainwallet.github.io

Brainwallet site

Language:JavaScriptLicense:MITStargazers:0Issues:3Issues:0

chipwhisperer

ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

eth2.0-specs

Ethereum 2.0 Specifications

Language:PythonLicense:CC0-1.0Stargazers:0Issues:1Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

go-wanchain

wanchain block chain main code

Language:GoLicense:LGPL-3.0Stargazers:0Issues:3Issues:0

lightning-rfc

Lightning Network Specifications

Language:ShellStargazers:0Issues:2Issues:0

lingeling

Lingeling SAT Solver

Language:CLicense:MITStargazers:0Issues:3Issues:0

lnd

Lightning Network Daemon ⚡️

Language:GoLicense:MITStargazers:0Issues:1Issues:0

metamorpho

MetaMorpho

License:NOASSERTIONStargazers:0Issues:0Issues:0

python-trezor

Client side implementation for TREZOR-compatible Bitcoin hardware wallets.

Language:PythonLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

qrcodejs

Cross-browser QRCode generator for javascript

Language:JavaScriptLicense:MITStargazers:0Issues:3Issues:0

safe-contracts

Safe allows secure management of blockchain assets.

Language:TypeScriptLicense:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:AGPL-3.0Stargazers:0Issues:3Issues:0

smtcoq

Communication between Coq and SAT/SMT solvers

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

smtinterpol

SMTInterpol interpolating SMT solver

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

trezor-common

Common files shared among TREZOR repositories.

Language:Protocol BufferStargazers:0Issues:2Issues:0

trezor-core

:lock: TREZOR Core

Language:CLicense:GPL-3.0Stargazers:0Issues:3Issues:0

trezor-crypto

Heavily optimized cryptography algorithms for embedded devices.

Language:CLicense:MITStargazers:0Issues:4Issues:0

trezor-qrenc

:orange_book: Micro QR Code Generator

Language:CLicense:MITStargazers:0Issues:2Issues:0

trezord-go

:smiling_imp: TREZOR Communication Daemon (written in Go)

Language:CLicense:LGPL-3.0Stargazers:0Issues:1Issues:0