cschat-tw / StudyGroup-TAPL
A Types and Programming Languages Study Group.
☆13Updated 8 years ago
Alternatives and similar repositories for StudyGroup-TAPL:
Users that are interested in StudyGroup-TAPL are comparing it to the libraries listed below
- backend of Guabao☆12Updated 4 months ago
- BYOHC workshop 活動記錄☆29Updated 8 years ago
- Collection of slides and links of meetups☆10Updated 6 years ago
- Democracy 3 Taiwan 2016 mod☆17Updated 7 years ago
- 跟幾個朋友 study group 所用的教材☆20Updated 9 years ago
- C++ 職缺列表☆24Updated 6 years ago
- 綠化 Facebook 畫面的 Chrome extenison☆42Updated 7 years ago
- An example repo for COSCUP 2022☆9Updated 2 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Updated 6 months ago
- 假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.☆25Updated 7 years ago
- 勞基法計算機☆44Updated 8 years ago
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Updated 8 years ago
- Docker image for accessing Taiwanese web-based personal income tax system☆104Updated 2 years ago
- The Rust implementation for PTT BBS (https://github.com/ptt/pttbbs).☆20Updated 8 years ago
- 資訊界連署挺同婚☆98Updated 3 years ago
- ☆16Updated 8 years ago
- Pitching like a boss☆45Updated 9 years ago
- 程式人雜誌 -- 首頁 (所有雜誌下載點)☆105Updated 9 years ago
- Practical Ansible: A Top-down Introduction (Ansible 實戰：Top-down 觀點).☆17Updated 9 years ago
- Sheet Generator of Taiwan Plebiscite Petition☆20Updated 6 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆114Updated 4 years ago
- ☆10Updated 3 years ago
- Framework with flux data flow pattern☆19Updated 8 years ago
- A handy guide to financial support for open source☆57Updated 8 years ago
- A simple and easy plugin for convert string to Bopomo script and Chinese Characters.☆66Updated 7 years ago
- ☆9Updated 8 years ago
- 行政院法規線上諮詢系統 界面 2.0☆31Updated 6 years ago