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
Sorting:
- Collection of slides and links of meetups☆10Updated 7 years ago
- BYOHC workshop 活動記錄☆29Updated 8 years ago
- An example repo for COSCUP 2022☆9Updated 2 years ago
- backend of Guabao☆12Updated 8 months ago
- 跟幾個朋友 study group 所用的教材☆20Updated 9 years ago
- Democracy 3 Taiwan 2016 mod☆17Updated 7 years ago
- C++ 職缺列表☆24Updated 6 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Updated 10 months ago
- 假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.☆26Updated 7 years ago
- 勞基法計算機☆44Updated 8 years ago
- 綠化 Facebook 畫面的 Chrome extenison☆42Updated 7 years ago
- ☆16Updated 8 years ago
- 因應 COVID-19 防疫新生活運動實施實聯制措施，提供確保隱私的服務☆50Updated 3 years ago
- Elm like js framework built on top of cycle-react.☆21Updated 8 years ago
- The Rust implementation for PTT BBS (https://github.com/ptt/pttbbs).☆20Updated 8 years ago
- 台灣採用部份遠端工作、完全遠端工作的科技業相關公司清單。☆34Updated 7 years ago
- Stand-alone MoeDict app snapshot☆32Updated last month
- ☆17Updated 8 years ago
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Updated 8 years ago
- Pitching like a boss☆45Updated 9 years ago
- the source code of cafenomad.tw☆34Updated 7 years ago
- Ende is a hypothetical programming language.☆23Updated 4 years ago
- ☆37Updated 9 years ago
- 資訊界連署挺同婚☆98Updated 4 years ago
- Node.js zh-TW☆105Updated 4 years ago
- Ruby-like high-performance script programming language with JIT compiler☆91Updated 9 years ago
- Rust 程式語言 正體中文版 (The Rust Programming Language, Traditional Chinese)☆94Updated 3 years ago
- Reference implementation of Taiwan's citizen digital certificate☆120Updated 5 years ago
- ☆28Updated 4 years ago
- ☆64Updated 2 years ago