TFM 1.0 "Artificial Uncial" is released

Didier Verna's scientific blog: Lisp, Emacs, LaTeX and random stuff.

« Quickref 2.0 "Be Quick or Be Dead" is - Declt 3.0 "Montgomery Scott" is released »

By Didier Verna on Wednesday, October 9 2019, 18:05 - Lisp - Permalink

I'm happy to announce the first stable version of TFM, a TeX Font Metrics parser for Common Lisp. TFM is the standard font description format used by TeX. The TFM library parses and decodes TFM files into an abstract data structure, providing easy access to the corresponding font information. Get it here.

Comments

1. On Monday, February 8 2021, 09:32 by Jbnbthity: sildenafil citrate <a href="http://online21rxon.com/ ">drugs online</a> vardenafil
2. On Monday, February 8 2021, 17:42 by Ahkdcaxia: online medicine to buy <a href="http://storerxpharmcanada.com/ ">pharmacie canadienne</a> online medicine shopping
3. On Tuesday, February 16 2021, 23:10 by Ahbzcaxia: money mart loan shark <a href="http://daymoneygo.com/ ">cash loan thru pag ibig</a> payday loan griffin ga
4. On Tuesday, March 23 2021, 05:02 by Fbshcaxia: https://thesisacloud.com/ - help with writing a thesis help with thesis statement <a href="http://thesisacloud.com/ ">help with a thesis statement</a> research methodology thesis
5. On Tuesday, March 23 2021, 11:14 by Lmoppcaxia: http://essaywriteris.com/ - essay writing website custom essays cheap <a href="http://essaywriteris.com/ ">websites for essay writing</a> who can write my essay
6. On Tuesday, March 23 2021, 13:24 by Jvqqcaxia: https://dissertationahelp.com/ - dissertation editing services uk dissertation writing <a href="http://dissertationahelp.com/ ">dissertation abstract</a> dissertation topics in education
7. On Wednesday, March 31 2021, 05:31 by Fbshcaxia: https://thesisacloud.com/ - good thesis writing help me write a thesis statement for free <a href="http://thesisacloud.com/ ">thesis online</a> good thesis statement
8. On Wednesday, April 7 2021, 22:53 by Fbshcaxia: https://thesisacloud.com/ - thesisacloud.com best thesis <a href="http://thesisacloud.com/ ">thesisacloud.com</a> thesis for dummies
9. On Tuesday, April 27 2021, 20:26 by Fbsfcaxia: northwest pharmacy/com http://uspharmus.com/ - Cleocin Micronase
10. On Wednesday, April 28 2021, 20:29 by психолог: психолог
11. On Friday, April 30 2021, 01:29 by веб камеры захар беркут: веб камеры захар беркут
12. On Sunday, May 2 2021, 04:33 by Gvdbthity: buy tadalafil online cheap http://boxtadafil.com/ - tadalafil 20mg price tadalafil 20 india
13. On Tuesday, May 4 2021, 09:13 by Jebgcaxia: no 1 canadian pharcharmy online <a href=https://pharmacylo.com/>Zovirax&... canadadrugsonline
14. On Tuesday, May 11 2021, 09:12 by проекций в юнгианской психологии: проекций в юнгианской психологии
15. On Tuesday, May 11 2021, 15:18 by more: more
16. On Thursday, May 13 2021, 22:22 by Скажи ей 2021 смотреть онлайн: Скажи ей 2021 смотреть онлайн
17. On Thursday, May 13 2021, 23:28 by обзор: обзор
18. On Friday, May 14 2021, 00:17 by try this web-site: try this web-site
19. On Sunday, May 23 2021, 17:35 by Lebncaxia: Kamagra Gold http://xlnpharmacy.com/ Zudena
20. On Sunday, May 30 2021, 21:05 by полезный источник: полезный источник
21. On Wednesday, June 16 2021, 19:14 by Хрустальный: Хрустальный
22. On Wednesday, August 4 2021, 21:51 by DefcaxiaGtv: Antabuse <a href="https://pharmpharms.com/">pharmacy prices</a> Adalat <a href=https://pharmpharms.com/>canadia... pharcharmy online</a> ’
23. On Sunday, August 8 2021, 19:30 by DefcaxiaGtv: Duphaston <a href="https://pharmpharms.com/">Shallaki</a> Zovirax <a href=https://pharmpharms.com/>Aciphex... ’
24. On Friday, August 13 2021, 22:01 by rofonlcd: hydrochlorothiazide and covid <a href="https://lisinoprilhydrochlorothiazi...">hydrochlorothiazide medicine</a> side effects of lisinopril and hctz <a href=https://lisinoprilhydrochlorothiazi... withdrawal symptoms</a> ’
25. On Monday, August 16 2021, 18:22 by DtfcaxiaGtv: why does seroquel cause weight gain <a href="https://seroquelquetiapinear.com/">seroquel dosage sleep</a> seroquel alternatives <a href=https://seroquelquetiapinear.com/&g... classification</a> ’
26. On Tuesday, August 17 2021, 11:39 by rofonlcd: adverse effects of hydrochlorothiazide <a href="https://lisinoprilhydrochlorothiazi...">lisinopril walmart</a> hydrochlorothiazide uses <a href=https://lisinoprilhydrochlorothiazi... hydrochlorothiazide</a> ’
27. On Wednesday, August 18 2021, 02:43 by soyncAsgs: how to stop taking sertraline <a href="https://zoloftsertralinest.com/">what is sertraline 100mg used for</a> sertraline warnings <a href=https://zoloftsertralinest.com/>... 100 mg tablet</a> ’
28. On Wednesday, August 18 2021, 12:15 by dydayVfs: norvasc 5mg price <a href="https://norvascamlodipinegh.com/">amlodipine 2.5</a> norvasc for dogs <a href=https://norvascamlodipinegh.com/>... drug for norvasc</a> ’
29. On Friday, September 17 2021, 08:55 by Dbgvcaxia: dissertation support <a href="https://dissertationony.com/ ">phd dissertation writing service</a>
30. On Friday, September 17 2021, 12:48 by Krbcrofon: nursing thesis <a href="https://thesistga.com/ ">thesis writing practice</a>
31. On Friday, September 17 2021, 19:25 by FnniNaicT: buy coursework online <a href="https://courseworkbos.com/ ">coursework moderation</a>
32. On Tuesday, September 21 2021, 12:08 by Krbcrofon: writing thesis paper <a href="https://thesistga.com/ ">phd thesis writing help</a>
33. On Sunday, October 3 2021, 12:04 by Локи 2 сезон: Все лучшие фильмы онлайн: самый
полный каталог кино Локи 2 сезон
фильмы 2021 года, список новинок.
34. On Sunday, October 31 2021, 02:28 by Шоу Маска 2 сезон Украина 2 серия: Смотреть фильмы онлайн бесплатно Шоу
Маска 2 сезон Украина 2 серия лучшие новинки кино 2021 года всегда тут
35. On Sunday, October 31 2021, 02:55 by Вечер с Владимиром Соловьевым: Смотреть кино, сериалы, мультфильмы все сезоны и серии подряд Вечер с Владимиром Соловьевым лучшие фильмы 2021 года выпуска
36. On Thursday, November 4 2021, 04:35 by Вечные: https://bit.ly/Vichni-2021-dyvytys-...
37. On Thursday, November 4 2021, 06:08 by Вечные: https://bit.ly/Vichni-Vichni-Film-V...
38. On Friday, November 5 2021, 00:59 by Вечные: https://bit.ly/3k7aaip
39. On Tuesday, November 9 2021, 13:31 by glatzenstein: Не пропустіть кращі новинки кіно українською 2021 року glatzenstein
40. On Wednesday, November 10 2021, 09:41 by Вечные: Дивитися фільми українською онлайн Вечные
41. On Wednesday, November 10 2021, 18:13 by Ампир V: Фільми українською в хорошій якості - онлайн без
реклами Ампир V
42. On Wednesday, November 10 2021, 18:17 by Страшные истории для рассказа незнакомцам: Дивитися популярні фільми 2021-2021 року Страшные истории для рассказа незнакомцам
43. On Wednesday, November 10 2021, 19:50 by Хэллоуин убивает: Дивитися фільми українською онлайн Хэллоуин убивает
44. On Wednesday, November 10 2021, 20:06 by Главный герой: Дивитися фільми онлайн в HD
якості українською мовою Главный герой
45. On Wednesday, November 10 2021, 20:50 by Ледяной демон смотреть онлайн: Новинки фільми, серіали, мультфільми 2021 року,
які вже вийшли Ви можете дивитися українською на нашому сайті
Ледяной демон смотреть онлайн
46. On Wednesday, November 10 2021, 22:26 by Тут: 97418 409389 https://clck.ru/XEMJK
47. On Wednesday, November 10 2021, 22:39 by Охотники за привидениями смотреть онлайн: Дивитися фільми українською онлайн
Охотники за привидениями
смотреть онлайн
48. On Wednesday, November 10 2021, 23:28 by Последняя дуэль: Нові сучасні фільми дивитися українською мовою онлайн в
хорошій якості HD Последняя дуэль
49. On Thursday, November 11 2021, 22:40 by Главный герой: Новинки фільми, серіали, мультфільми
2021 року, які вже вийшли Ви можете
дивитися українською на нашому сайті Главный герой
50. On Wednesday, November 17 2021, 23:17 by 9104: Фільми та серiали 2020 українською мовою в HD якості 9104
51. On Sunday, December 26 2021, 22:06 by see this: see this
52. On Monday, January 3 2022, 05:46 by published here: published here
53. On Tuesday, January 4 2022, 16:15 by информация: информация
54. On Sunday, January 23 2022, 05:10 by Крик: Новинки фільми, серіали, мультфільми 2021
року, які вже вийшли Ви можете дивитися українською на нашому
сайті Крик
55. On Sunday, January 23 2022, 08:22 by Сваты 8 сезон: Новинки фільми, серіали, мультфільми 2021 року, які вже вийшли
Ви можете дивитися українською на нашому сайті Сваты 8
сезон
56. On Thursday, February 3 2022, 20:02 by Анчартед: Найкращі фільми 2021 Анчартед
57. On Saturday, February 5 2022, 03:58 by Мы все мертвы 2 сезон: Найкращі українські фільми 2021 року Мы все мертвы 2 сезон
58. On Sunday, February 6 2022, 03:56 by Film: Дивитися фільми українською мовою онлайн в HD якості Film
59. On Sunday, February 6 2022, 04:14 by Film: Дивитися популярні фільми 2021-2021
року Film
60. On Sunday, February 6 2022, 05:25 by Бэтмен 2022 смотреть онлайн: Дивитися популярні фільми 2021-2021 року Бэтмен 2022 смотреть онлайн
61. On Sunday, February 6 2022, 05:47 by Бэтмен The Batman.: Фільми та серiали 2020 українською мовою в HD якості Бэтмен The Batman.
62. On Sunday, February 13 2022, 06:52 by link: Не пропустіть кращі новинки кіно українською 2021 року link
63. On Sunday, February 13 2022, 20:34 by link: Нові сучасні фільми дивитися українською
мовою онлайн в хорошій якості HD link
64. On Sunday, February 13 2022, 21:05 by link: Найкращі фільми 2021 link
65. On Sunday, February 13 2022, 21:22 by link: Всі фільми новинки 2020 року онлайн українською в
хорошій якості link
66. On Sunday, February 13 2022, 21:27 by link: Найкращі фільми 2021 link
67. On Monday, February 14 2022, 17:06 by link: Нові сучасні фільми дивитися українською
мовою онлайн в хорошій якості HD link
68. On Monday, February 14 2022, 20:31 by link: Найкращі фільми 2021 link
69. On Friday, February 18 2022, 16:34 by Золото 17 серия: Дивитися популярні фільми 2021-2021 року
Золото 17 серия
70. On Monday, February 21 2022, 13:55 by Папы 2022: Дивитися фільми онлайн в HD якості українською мовою Папы 2022
71. On Monday, February 21 2022, 20:45 by Link: Фільми та серiали 2020 українською мовою
в HD якості Link
72. On Tuesday, February 22 2022, 08:37 by Папы 2022: Всі фільми новинки 2020 року онлайн українською в хорошій
якості Папы 2022
73. On Tuesday, February 22 2022, 20:34 by Ураганные Хроники 438 эпизод (Наруто 2 сезон): Дивитися фільми онлайн в HD
якості українською мовою Ураганные
Хроники 438 эпизод (Наруто 2
сезон)
74. On Tuesday, February 22 2022, 21:13 by форсаж хоббс и шоу hd качестве: Фільми українською в хорошій якості - онлайн без реклами форсаж хоббс и шоу hd качестве
75. On Wednesday, February 23 2022, 14:58 by Форд против Феррари: Новинки фільми, серіали, мультфільми 2021 року,
які вже вийшли Ви можете дивитися українською на нашому сайті
Форд против Феррари
76. On Wednesday, February 23 2022, 17:17 by Link: Дивитися фільми онлайн в HD якості українською мовою Link
77. On Wednesday, February 23 2022, 19:12 by Link: Нові фільми 2021 року. Link
78. On Wednesday, February 23 2022, 22:02 by Link: Не пропустіть кращі новинки кіно українською 2021 року
Link
79. On Thursday, February 24 2022, 02:14 by Link: Всі фільми новинки 2020 року онлайн українською в хорошій якості Link
80. On Thursday, February 24 2022, 11:53 by Вечер с Владимиром Соловьевым: Дивитися фільми українською онлайн Вечер с Владимиром Соловьевым
81. On Thursday, February 24 2022, 11:53 by Вечер с Владимиром Соловьевым: Дивитися фільми українською
онлайн Вечер с Владимиром Соловьевым
82. On Thursday, February 24 2022, 11:54 by Вечер с Владимиром Соловьевым: Фільми та серiали 2020 українською мовою в
HD якості Вечер с Владимиром Соловьевым
83. On Saturday, February 26 2022, 17:16 by z.globus-kino.ru: Всі фільми новинки 2020 року онлайн українською
в хорошій якості z.globus-kino.ru
84. On Sunday, February 27 2022, 01:08 by filmiwap.store: Нові фільми 2021 року. filmiwap.store
85. On Sunday, February 27 2022, 23:25 by Захар Беркут: Нові сучасні фільми дивитися українською мовою онлайн в хорошій якості HD Захар Беркут
86. On Friday, April 1 2022, 12:18 by Аватар 2: Аватар 2
87. On Tuesday, April 5 2022, 16:20 by RRR смотреть онлайн: RRR смотреть онлайн
88. On Wednesday, May 11 2022, 13:44 by XVIDEOS: Watch the best Xvideos com videos, free movies,
mobile xvideos, and download for on this tube https://t.me/xvideos_xvideo
89. On Thursday, May 12 2022, 05:58 by XVIDEOS: Watch the best Xvideos com videos, free movies, mobile xvideos, and
download for on this tube https://t.me/xvideos_xvideo
90. On Thursday, May 12 2022, 14:35 by XVIDEOS: Watch the best Xvideos com videos, free movies, mobile xvideos, and
download for on this tube https://t.me/xvideos_xvideo
91. On Thursday, May 12 2022, 15:22 by XVIDEOS: Watch the best Xvideos com videos, free movies, mobile xvideos, and download for on this tube https://t.me/xvideos_xvideo

They posted on the same topic

Trackback URL : https://www.didierverna.net/blog/index.php?trackback/160

This post's comments feed

Pages

Highlights

TFM 1.0 "Artificial Uncial" is released

Comments

Add a comment

They posted on the same topic

Search

Show articles only in

Categories

Tags

Subscribe