Repositories Users Organizations
Filter
Sort
yoxem/ notes-of-type-theory-and-formal-proof
Typst 0 0
notes-of-the book "Type Theory and Formal Proof"
Updated 2024-12-26 16:23:09 +08:00
yoxem/ misc-codes
HTML 0 0
雜錯(cha̍p-chhò)ê程式碼 雜七雜八的程式碼
Updated 2024-12-22 23:40:23 +08:00
yoxem/ Hexo-scripts-that-I-use
JavaScript 0 0
The script that I used with Hexo / 我使用於 Hexo 的 Script
Updated 2024-12-15 00:32:23 +08:00
yoxem/ Sligeach-font
0 0
A reprint font of a 19th Gaelic type font (Fry font).
Updated 2024-12-15 00:32:01 +08:00
yoxem/ labelset.py
Python 0 0
labelset.py, a programming used to demo label setting algorithm.
Updated 2024-12-15 00:31:31 +08:00
yoxem/ uiahoe
Python 0 0
converting POJ (Pe̍h-ōe-jī, a Romanization of Min Nan (aka. Hokkien) Chinese) with tone numbers to the formal form
Updated 2024-12-15 00:31:04 +08:00
yoxem/ findarray30code
Python 0 0
code-searcher for Array30, a chinese input method. under X11 license
Updated 2024-12-15 00:30:25 +08:00
yoxem/ SILE-Ruby-Test-of-Barclay-Hokkien-Bible
0 0
Han character & ruby version of Genesis 1 of Barclay's Hokkien Bible. It's a SILE test.
Updated 2024-12-15 00:29:22 +08:00
yoxem/ one-variable-linear-equation-solver
Yacc 0 0
Updated 2024-12-15 00:29:02 +08:00
yoxem/ rime-hokkien
0 0
自用的RIME臺語碼表，分椏對：https://github.com/a-thok/rime-hokkien
Updated 2024-12-15 00:27:45 +08:00
yoxem/ gazhdict
CSS 0 0
a Irish-Manarin Chinese dictionary website powered by django engine
Updated 2024-12-15 00:24:26 +08:00
yoxem/ anotherTypesetter
JavaScript 0 0
Updated 2024-12-15 00:18:12 +08:00
yoxem/ khaikang
JavaScript 0 0
Microblogging service in Django
Updated 2024-12-15 00:17:12 +08:00
yoxem/ wiki-extension-my-related-article
PHP 0 0
Show related articles in the category/parent-category.
Updated 2024-12-15 00:16:28 +08:00
yoxem/ Esperanto-English-Dict-Website
Go 0 0
a Esperanto-English Dictionary mirror website example practice with Go-language and Sqlite. The data are from ESPDIC and Eng. Wiktionary.
Updated 2024-12-15 00:15:48 +08:00
yoxem/ pseudo-chinese
Python 0 0
It is a tool to convert Japanese to pseudo-Chinese.
Updated 2024-12-15 00:15:04 +08:00
yoxem/ Clochur
Python 0 0
A Scheme-like typesetting LISP editor that using SILE typesetting Engine.
Updated 2024-12-15 00:14:04 +08:00
yoxem/ failed-type-setting-project
JavaScript 0 0
未成的自動斷行的排版引擎的實做
Updated 2024-12-15 00:12:38 +08:00
yoxem/ irish-verb-conjugator
JavaScript 0 0
Updated 2024-12-14 23:49:09 +08:00
yoxem/ stringCodepointSplitter
OCaml 0 0
Updated 2024-12-14 23:48:30 +08:00