SongXiaotong

SongXiaotong's Stars

• meelgroup/approxmc

  Approximate Model Counter

  Language:C++7025

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++818182

• apirogov/flat-checker

  SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).

  Language:Haskell41

• BU-DEPEND-Lab/SafeAL

  Language:Java1

• lihebi/biber-dist

  Bibliography files of major CS conferences

  Language:TeX287

• zwc662/CAV2018

  Language:Java1

• qxl1231/2019-k8s-centos

  2019最新k8s集群搭建教程(centos/ubuntu)

  8349

• chaoming0625/SentimentPolarityAnalysis

  情感极性分析repository1：基于情感词典、k-NN、Bayes、最大熵、SVM的情感极性分析。

  Language:Python1.2k336

• jimmyyfeng/TD-LSTM

  Attention-based Aspect-term Sentiment Analysis implemented by tensorflow.

  Language:Python266139

• brightmart/nlp_chinese_corpus

  大规模中文自然语言处理语料 Large Scale Chinese Corpus for NLP

  9.4k1.5k

• CyC2018/CS-Notes

  :books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

  175k50.8k

• sysuexam/SYSU-Exam

  收集整理SYSU期末考试卷子、资料

  1.8k364

• shadowsocks/shadowsocks-android

  A shadowsocks client for Android

  Language:Kotlin35.1k11.6k