pastleo / mLNHIICC-docker-archlinuxView external linksLinks
ArchLinux 上使用 Docker 執行健保卡元件 (mLNHIICC)
☆17May 17, 2020Updated 5 years ago
Alternatives and similar repositories for mLNHIICC-docker-archlinux
Users that are interested in mLNHIICC-docker-archlinux are comparing it to the libraries listed below
Sorting:
- Kamiflex provide a pretty DSL to build your flex message of line messaging api.☆11Oct 8, 2021Updated 4 years ago
- My blog built with next.js. notion-blog inspired, use HackMD as CMS☆19Oct 23, 2025Updated 3 months ago
- Taiwanese Mandarin LLM Project☆19May 26, 2023Updated 2 years ago
- api-mocking-demo-app☆15Oct 11, 2020Updated 5 years ago
- experiments about WebRTC and WebSocket p2p network☆21Mar 4, 2023Updated 2 years ago
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- ☆11Oct 25, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- 鸚鵡兄弟文字圖產生器-ReactJS版本☆13Aug 8, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Export Quiver library to obsidian compatible markdown☆11Apr 23, 2024Updated last year
- 在這系列文中我會從最基礎的編輯器推薦、語言選擇、環境建置、框架介紹、自動化部署、資料庫架設、到一個簡單的部落格貼文 API 範例實作以及單元測試和簡單的雲端平台服務，希望能幫助到各位實戰的經驗。☆10Apr 5, 2020Updated 5 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- 命運乖舛的 Repo☆11Aug 18, 2020Updated 5 years ago
- A chrome extension that sync scrolling progress between multiple tabs☆13Sep 1, 2023Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Jun 7, 2024Updated last year
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Cross-platform C++11 header-only library for memory mapped file IO☆15Oct 9, 2025Updated 4 months ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Dec 15, 2025Updated last month
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- This project has implemented the RAG function on Jetson and supports TXT and PDF document formats. It uses MLC for 4-bit quantization of …☆13May 16, 2024Updated last year
- ☆13Mar 2, 2015Updated 10 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- ☆12May 21, 2021Updated 4 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 9 months ago