A Types and Programming Languages Study Group.
☆13Oct 2, 2016Updated 9 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:
- backend of Guabao☆14Sep 3, 2024Updated last year
- Democracy 3 Taiwan 2016 mod☆17Dec 11, 2017Updated 8 years ago
- C++ 職缺列表☆24Aug 2, 2018Updated 7 years ago
- Some heretical React Hooks☆11Jan 4, 2023Updated 3 years ago
- Practical Ansible: A Top-down Introduction (Ansible 實戰：Top-down 觀點).☆17Oct 24, 2015Updated 10 years ago
- 鄉民風水師 for Android☆16Dec 20, 2018Updated 7 years ago
- Mental Health Tips (ft. Anxiety Wolf)☆15May 4, 2020Updated 5 years ago
- PCMan BBS Client library in JavaScript☆22Aug 31, 2015Updated 10 years ago
- OneButton is a one-click solution for ipa to finish all hackathon duties at once.☆18Mar 1, 2022Updated 4 years ago
- Node.js zh-TW☆105May 17, 2021Updated 4 years ago
- ☆17Sep 28, 2016Updated 9 years ago
- Nowin core library☆20Aug 3, 2015Updated 10 years ago
- 假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.☆26May 30, 2017Updated 8 years ago
- Ende is a hypothetical programming language.☆23Oct 19, 2020Updated 5 years ago
- React Redux Universal (isomorphic) bundle☆52Oct 16, 2025Updated 4 months ago
- A real BIG RED button to kill all your data & host in seconds in case of emergency.☆28Nov 13, 2018Updated 7 years ago
- 零ノメモ Zero Memo: The Plurk costum CSS☆31Feb 3, 2026Updated 3 weeks ago
- 實驗 container pattern 是否能確保元件的 high re-usability☆29Apr 15, 2015Updated 10 years ago
- 台灣社群非官方客製版 Ubuntu 作業系統☆27Nov 1, 2016Updated 9 years ago
- Arduino library for the CD-Pro2 DSA protocol☆11Sep 9, 2024Updated last year
- 吳守禮《國臺對照活用辭典》電子化☆35Oct 19, 2019Updated 6 years ago
- Make Takahashi-style slide easily!☆33Sep 29, 2021Updated 4 years ago
- Just in Time Datastructures☆11Feb 21, 2017Updated 9 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Finite State Machine implementation for JavascriptMVC☆17Oct 13, 2010Updated 15 years ago
- COVID-19 資料整理站 (台灣版) / 新型コロナウイルス感染症対策サイト / COVID-19 Task Force website☆11Jun 2, 2021Updated 4 years ago
- Google Analytic Beat☆10Dec 18, 2017Updated 8 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Convert rebar projects to mix projects with one command!☆12Jan 4, 2021Updated 5 years ago
- Gunicorn worker for Sanic☆12Apr 23, 2017Updated 8 years ago
- Pony bindings for libmysqlclient☆12Jun 5, 2018Updated 7 years ago
- Adds a `with_retry` block for writing `with` statements that are automatically retried.☆11May 22, 2019Updated 6 years ago
- ☆12Aug 3, 2022Updated 3 years ago
- 📦 Upload files to storage with only one command.☆10Dec 15, 2016Updated 9 years ago
- 📖 Webduino example collections☆10Sep 17, 2021Updated 4 years ago
- Implementation of Modbus protocol for a data logger project back that I worked back in my 3rd year of college. This is a low overhead wir…☆14Jan 26, 2012Updated 14 years ago
- Serial bus protocol intended for RS485.☆15May 2, 2013Updated 12 years ago
- Jcalendar是一款移动端的时间选择插件☆11May 22, 2018Updated 7 years ago
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago