Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Commits · main
idris2-charprop
Browse files
Mar 30, 2025
Version 0.5.0.
· b9b287f9
gemmaro
authored
Mar 30, 2025
View commits for tag v0.5.0
v0.5.0
b9b287f9
Update copyright year.
· f17f52c5
gemmaro
authored
Mar 30, 2025
f17f52c5
Update to Unicode 16.0.0.
· 9d13f6de
gemmaro
authored
Mar 30, 2025
9d13f6de
Add download task to update resource files.
· dcdc2311
gemmaro
authored
Mar 30, 2025
dcdc2311
Add Guix manifest with tools.
· 7806d1a2
gemmaro
authored
Mar 30, 2025
7806d1a2
Sep 23, 2022
[ version ] 0.4.0
· 3fc11207
gemmaro
authored
Sep 23, 2022
View commits for tag v0.4.0
v0.4.0
3fc11207
[ change ] mark blocks members total
· 32b908b7
gemmaro
authored
Sep 23, 2022
32b908b7
[ update ] changelog
· 54705062
gemmaro
authored
Sep 23, 2022
54705062
[ update ] Unicode version 14 to 15
· 9876063e
gemmaro
authored
Sep 23, 2022
9876063e
Sep 14, 2022
[ version ] v0.3.0
· b6e375a4
gemmaro
authored
Sep 15, 2022
View commits for tag v0.3.0
v0.3.0
b6e375a4
[ add ] CharSet version of Unicode blocks
· 556b34ba
gemmaro
authored
Sep 15, 2022
556b34ba
[ add ] CharSet version of Unicode char props
· efce6e56
gemmaro
authored
Sep 15, 2022
efce6e56
[ wip ] Rewrite in Idris 2
· 04b467ab
gemmaro
authored
Sep 15, 2022
04b467ab
[ refactor ] Add single function
· 2afcbe73
gemmaro
authored
Sep 14, 2022
2afcbe73
Sep 11, 2022
[ add ] char set
· b4a643bf
gemmaro
authored
Sep 12, 2022
b4a643bf
[ update ] deps
· f1107054
gemmaro
authored
Sep 11, 2022
f1107054
Aug 13, 2022
[ perf ] Use eq for 1 char range
· f9e1a6ba
gemmaro
authored
Aug 13, 2022
f9e1a6ba
Jul 18, 2022
[ add ] Data.Char.Properties.XMLCharProps
· 089a11f0
gemmaro
authored
Jul 18, 2022
View commits for tag v0.2.0
v0.2.0
089a11f0
Jul 11, 2022
[ add ] draft
· 9bef92bc
gemmaro
authored
Jul 11, 2022
View commits for tag v0.1.0
v0.1.0
9bef92bc
[ init ] repo
· 40e841b9
gemmaro
authored
Jul 11, 2022
40e841b9
Loading