ric2k1 / RicBDD
A simple yet decent Binary Decision Diagram package
☆25Updated 7 years ago
Alternatives and similar repositories for RicBDD:
Users that are interested in RicBDD are comparing it to the libraries listed below
- NTU thesis template for XeLaTeX☆24Updated 8 years ago
- 資訊界連署挺同婚☆98Updated 3 years ago
- A simple but ardent Vim color scheme.☆11Updated 2 years ago
- NCTU thesis☆66Updated 7 years ago
- A GNU/GPL telnet client for connecting to BBS site ptt.cc (forked from iamchucky/PttChrome).☆151Updated last year
- Taiwan law corpus, generated by https://github.com/ronnywang/twlaw☆42Updated 3 years ago
- NCTU thesis template for XeLaTeX☆52Updated 2 years ago
- NTU thesis template for XeLaTeX☆243Updated 2 years ago
- NCTU Thesis Template in XeLaTeX☆76Updated 3 years ago
- ☆109Updated 8 years ago
- 每週一點小知識☆105Updated 6 years ago
- NCTU+☆70Updated 4 years ago
- Chatbot for searching vocabulary on mainstream dictionaries☆70Updated 2 years ago
- Judge 13.2 - HypeX☆29Updated 2 years ago
- A simple and easy plugin for convert string to Bopomo script and Chinese Characters.☆67Updated 7 years ago
- ☆17Updated 8 years ago
- Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience …☆51Updated 5 years ago
- Use deep learning to auto play flappy bird☆43Updated 8 years ago
- NTU CEIBA 資料下載工具☆79Updated 3 years ago
- HowHow 發聲器☆80Updated 4 years ago
- Pitching like a boss☆45Updated 9 years ago
- https://noootown.github.io/NCTU_cowbei☆15Updated 6 years ago
- ☆41Updated 9 years ago
- 綠化 Facebook 畫面的 Chrome extenison☆42Updated 7 years ago
- ☆55Updated 8 years ago
- 藏頭詩自動產生器☆131Updated 7 years ago
- DSnP Open Source Repository☆160Updated 5 years ago
- 勞基法計算機☆44Updated 8 years ago
- A Node.js/Browser client for fetching data from ptt.cc☆81Updated 2 years ago
- Play PokémonGo From Home, No Jailbreak!☆39Updated 8 years ago