cschat-tw / StudyGroup-TAPL
A Types and Programming Languages Study Group.
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for StudyGroup-TAPL
- Collection of slides and links of meetups☆10Updated 6 years ago
- Democracy 3 Taiwan 2016 mod☆17Updated 6 years ago
- BYOHC workshop 活動記錄☆29Updated 8 years ago
- backend of Guabao☆11Updated 2 months ago
- An example repo for COSCUP 2022☆9Updated 2 years ago
- 跟幾個朋友 study group 所用的教材☆20Updated 8 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆26Updated 4 months ago
- ☆16Updated 7 years ago
- 勞基法計算機☆44Updated 8 years ago
- C++ 職缺列表☆24Updated 6 years ago
- ☆37Updated 8 years ago
- 假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.☆25Updated 7 years ago
- Ende is a hypothetical programming language.☆23Updated 4 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆37Updated 3 years ago
- archive.tw☆40Updated 2 years ago
- turn discussion records into organised filterable web view☆27Updated 8 years ago
- 因應 COVID-19 防疫新生活運動實施實聯制措施，提供確保隱私的服務☆49Updated 3 years ago
- 行政院法規線上諮詢系統 界面 2.0☆31Updated 6 years ago
- ☆17Updated 8 years ago
- 《Have Fun with Machine Learning: A Guide for Beginners》繁體中文版☆38Updated 7 years ago
- g0v 專案與技能媒合工具☆10Updated 6 years ago
- Ruby-like high-performance script programming language with JIT compiler☆90Updated 8 years ago
- the source code of cafenomad.tw☆34Updated 7 years ago
- 綠化 Facebook 畫面的 Chrome extenison☆43Updated 7 years ago
- Change your horizontal pure text to vertical with some options.☆9Updated 4 years ago
- 台灣採用部份遠端工作、完全遠端工作的科技業相關公司清單。☆34Updated 6 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