Popular repositories Loading

1. text-retrieval-by-posting-list text-retrieval-by-posting-list Public

   A simple text retrieval manifested by posting list, supporting boolean retrieval on zone index, ranked retrieval.

   C++ 1

2. YANG-DML YANG-DML Public

   Forked from YangModels/yang

   YANG modules from standards organizations such as the IETF, The IEEE, The Metro Ethernet Forum, open source such as Open Daylight or vendor specific modules

   Shell

3. Formal-Methods Formal-Methods Public

   Formal proof using Coq and Z3 in Python

   Python

4. ticket-purchase ticket-purchase Public

   Forked from WECENG/ticket-purchase

   auto ticket purchase assistance for damai, supporting choosing buyer, city, date and price

   Python

5. ticket-purchase-assistance ticket-purchase-assistance Public

   Forked from kemomi/daimai

   music galas ticket purchase assistance for daimai

   Python