Alternatives and similar repositories for taiwanmap

Users that are interested in taiwanmap are comparing it to the libraries listed below

• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• Conair94 / ModelTheoryWiki

  View on GitHub
  Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…
  ☆16Jun 8, 2025Updated 8 months ago
• YuRen-tw / rime-taigi-tps

  View on GitHub
  Taigi-TPS 台語方音輸入法（基於 RIME 引擎）
  ☆27May 17, 2021Updated 4 years ago
• scmlab / gcl

  View on GitHub
  backend of Guabao
  ☆13Sep 3, 2024Updated last year
• etrex / everybody-can-build-kamigo-demo

  View on GitHub
  ☆19May 2, 2018Updated 7 years ago
• banacorn / rescript-vscode

  View on GitHub
  ReScript bindings for the VS Code API
  ☆13Jul 8, 2025Updated 7 months ago
• PhahTaigi / PhahTaigi_iOS

  View on GitHub
  PhahTaigi - Taigi Input Method for iOS
  ☆17Mar 3, 2022Updated 3 years ago
• phijor / agda-mode-ng

  View on GitHub
  Let's rethink how we interact with Agda
  ☆18Nov 18, 2022Updated 3 years ago
• banacorn / language-agda

  View on GitHub
  Agda language support for the Atom editor
  ☆13Sep 16, 2020Updated 5 years ago
• UlfNorell / agda-bench

  View on GitHub
  Benchmarking tool for compile-time performance of Agda programs
  ☆19Jan 26, 2022Updated 4 years ago
• moztw / cc0-sentences

  View on GitHub
  ☆17Aug 16, 2025Updated 5 months ago
• L-TChen / ModalTypeTheory

  View on GitHub
  ☆21Sep 8, 2021Updated 4 years ago
• tauhu-tw / tauhu-taigi

  View on GitHub
  教育部「臺灣閩南語漢字輸入法」詞庫，調整碼位、修正錯誤、更新資料、增補新詞。
  ☆21May 17, 2020Updated 5 years ago
• agda-web / agda-wasm-dist

  View on GitHub
  Distributions of Agda executable compiled into WebAssembly.
  ☆25Nov 9, 2025Updated 3 months ago
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆27Dec 14, 2020Updated 5 years ago
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• rzach / boxes-and-diamonds

  View on GitHub
  Open textbook on modal logic
  ☆24Jul 1, 2025Updated 7 months ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• tree-sitter / tree-sitter-agda

  View on GitHub
  Agda grammar for tree-sitter
  ☆42Aug 30, 2025Updated 5 months ago
• L-TChen / MtacAR

  View on GitHub
  Mtac in Agda
  ☆29May 4, 2021Updated 4 years ago
• andreasabel / strong-normalization

  View on GitHub
  Formalizations of strong normalization proofs
  ☆35Jul 8, 2019Updated 6 years ago
• sarmadgardezi / Google-Spreadsheet-Formulas

  View on GitHub
  How to add formulas to Google Spreadsheet using Google Apps Script - Sarmad Gardezi
  ☆17Apr 24, 2025Updated 9 months ago
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• deckbox / wordpress_mtg_tooltips

  View on GitHub
  Wordpress plugin for Magic the Gathering that enables card tooltips and formatted deck listings.
  ☆13Dec 24, 2025Updated last month
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• YuRen-tw / textRevealer

  View on GitHub
  Display your text
  ☆40Mar 28, 2025Updated 10 months ago
• agoldst / scuro

  View on GitHub
  R markdown format and template for light-on-dark beamer presentations—with fussy extras.
  ☆12Nov 1, 2021Updated 4 years ago
• griverorz / westraining-R

  View on GitHub
  Training materials for the intro and advanced R course
  ☆11Oct 31, 2017Updated 8 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• kaggletw / solutions

  View on GitHub
  A Collection of Solutions for Kaggle Competitions
  ☆10Dec 9, 2017Updated 8 years ago
• m1c0l / photoessay

  View on GitHub
  Static photoessay generator using gulp.js
  ☆10Mar 20, 2019Updated 6 years ago
• vis4 / R-poll-bias

  View on GitHub
  A set of R scripts to visualize and analyze bias in the polls
  ☆24Sep 21, 2013Updated 12 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• nationalarchives / discovery-api

  View on GitHub
  ☆12Apr 24, 2017Updated 8 years ago
• jhajagos / health-open-data-workshop

  View on GitHub
  Materials and reproducible workflows for working with health care data
  ☆12Apr 11, 2018Updated 7 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago