Pinned Repositories
BibTeX-Java-Parser
A BitTeX parser implemented in Java. Transforming a BibTeX file to an object in memory or a semi-structured file on disk.
bibtex-js-parser
A BitTeX parser implemented in JavaScript (ES6). Transforming a BibTeX file to an object in memory or a semi-structured file on disk.
IPFSServerAPISimulator
IPFS server API simulator for a quick start to interact with an IPFS server.
Kiwami
A generic bounded model checker.
MyPub
A Decentralized Privacy-Preserving Publishing Platform.
MyPubEncryptor
Encryptor of MyPub Cipher Suite.
nginx-ssl
Automatically set up SSL in Nginx with Docker.
Seniz
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
verifiable-credential-service
A lightweight service providing verifiable credential and presentation functionalities.
yepengding.github.io
Yepeng Ding's Homepage.
yepengding's Repositories
yepengding/bibtex-js-parser
A BitTeX parser implemented in JavaScript (ES6). Transforming a BibTeX file to an object in memory or a semi-structured file on disk.
yepengding/MyPub
A Decentralized Privacy-Preserving Publishing Platform.
yepengding/Kiwami
A generic bounded model checker.
yepengding/nginx-ssl
Automatically set up SSL in Nginx with Docker.
yepengding/BibTeX-Java-Parser
A BitTeX parser implemented in Java. Transforming a BibTeX file to an object in memory or a semi-structured file on disk.
yepengding/IPFSServerAPISimulator
IPFS server API simulator for a quick start to interact with an IPFS server.
yepengding/MyPubEncryptor
Encryptor of MyPub Cipher Suite.
yepengding/MyPubService
MyPub web backend to provide user-centric services.
yepengding/Seniz-GUI
Seniz GUI provides a graphical user interface for Seniz.
yepengding/verifiable-credential-service
A lightweight service providing verifiable credential and presentation functionalities.
yepengding/Seniz
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
yepengding/yepengding.github.io
Yepeng Ding's Homepage.
yepengding/async-reputation
An asynchronous reputation mechanism for distributed event systems.
yepengding/BibTeX-Grammar
BibTeX grammar for ANTLR v4.
yepengding/BoostAuth
Authentication system for Boost Plan. Reusable as an authentication service for web systems.
yepengding/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
yepengding/eth-data-collector
Simple Ethereum data collector
yepengding/ethereum-attack-reproducer
An Ethereum attack reproducer for security study.
yepengding/grammars-v4
Contributing to grammars written for ANTLR v4.
yepengding/holder-wallet
A lightweight holder wallet mobile client based on React Native.
yepengding/log4j-shell-poc-arm64v8
A Proof-Of-Concept for the recently found CVE-2021-44228 vulnerability.
yepengding/ModelCheckingNotes
Notes in fundamentals of model checking.
yepengding/MyPubDecryptor
Decryptor of MyPub Cipher Suite.
yepengding/Seniz-Web
Seniz web service to support Seniz GUI.
yepengding/SenizJavaTemplate
Usage of generated Java template.
yepengding/solidify
Solidify semi-structured data on EVM-compatible blockchains for educational purposes.
yepengding/swift-express
A swift TypeScript-based Express web framework.
yepengding/swift-express-graphql
A swift TypeScript-based Express web framework with GraphQL.
yepengding/verifiable-data-registry-server
A server-based implementation of verifiable data registry.
yepengding/yepengding
Config files for my GitHub profile.