keer123456789

keer123456789's Stars

• keer123456789/springbootstudy

  Language:Java14

• liweiwei1419/LeetCode-Solutions-in-Good-Style

  首页已经更新，希望能对大家有帮助。

  Language:Java2.8k446

• 995icu/996ICU

  996ICU 995ICU 工作996 生病ICU 加班不规范 亲人两行泪

  4.7k297

• DSiSc/oyente

  An Analysis Tool for Smart Contracts

  Language:JavaScript51

• DSiSc/spin648

  mirror of offical spin648

  Language:C61

• DSiSc/z3

  The Z3 Theorem Prover

  Language:C++21

• DSiSc/why3

  mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

  Language:OCaml111

• trustchain-tech/Cmacc-Org

  The full CommonAccord.org website, including many of the sub repos.

  Language:CSS4

• DSiSc/formalmethod

  Formal Methods of Smart Contracts

  82

• DSiSc/repo-template

  A golang project template of Justitia repositories

  Language:Shell83

• DSiSc/statedb-NG

  A Next Generation StateDB Implemention(forked from go-ethereum).

  Language:Go72

• DSiSc/txpool

  A high-performance blockchain transaction pool

  Language:Go144

• DSiSc/wallet

  A high-security wallet implemention

  Language:Go103

• DSiSc/blockstore

  An implemention of ledger which support customization by config file

  Language:Go114

• DSiSc/repository

  Middleware of blockchain storage layer accessing

  Language:Go122

• DSiSc/gossipswitch

  A Gossip switch implementation.

  Language:Go113

• DSiSc/craft

  Define common types and structures which used frequently

  Language:Go114

• DSiSc/apigateway

  A light-weight golang API Gateway implement.

  Language:Go125

• DSiSc/justitia

  Justitia chain project

  Language:Go206

• DSiSc/producer

  Implementation of producer which is used for efficient block production.

  Language:Go113

• DSiSc/validator

  A high-speed validator verify transaction and block

  Language:Go143

• DSiSc/galaxy

  Advanced distributed consensus framework support pluggable algorithms

  Language:Go153

• DSiSc/contracts_library

  Open Source Smart Contract Library

  Language:JavaScript112