I was thinking the same, a digital PSM would be a major tool.

 

Dr Camillo A. Formigatti

John Clay Sanskrit Librarian

 

Bodleian Libraries 

The Weston Library

Broad Street, Oxford

OX1 3BG

Email: camillo.formigatti@bodleian.ox.ac.uk

Tel. (office): 01865 (2)77208
www.bodleian.ox.ac.uk

 

GROW YOUR MIND

in Oxford University’s

Gardens, Libraries and Museums

www.mindgrowing.org

 

From: Indic-texts <indic-texts-bounces@lists.tei-c.org> On Behalf Of Suhas Mahesh
Sent: 08 June 2019 07:17
To: sanskrit-programmers <sanskrit-programmers@googlegroups.com>
Cc: indic-texts@lists.tei-c.org
Subject: Re: [Indic-texts] Prakrit lexicons

 

Dear Andrew,

 

Thanks for this. This is going to be very useful while reading texts. Do you know if anyone is working on digitising the PSM or any other large Prakrit dictionary?

 

On Fri, 7 Jun 2019 at 18:32, Andrew Ollett <andrew.ollett@gmail.com> wrote:

Dear all,

 

I was inspired by Dr. Dhaval Patel's recent efforts to make digital versions of important Sanskrit lexicons available (https://github.com/sanskrit-kosha/kosha) to do something similar for the two Prakrit lexicons that I have had on my computer for a while:

 

https://github.com/aso2101/prakrit_lexicons

 

This includes Dhanapāla’s Pāiyalacchī (in plain text form) and Hēmacandra’s Dēśīnāmamālā (in TEI form). I had planned to publish them only when I had created dictionary data from each, but others will be able to do this more expeditiously than I would be. (The TEI data for Hēmacandra should make the extraction of lemmata and definitions relatively straightforward.) Any feedback would be greatly appreciately.

 

Andrew

--
You received this message because you are subscribed to the Google Groups "sanskrit-programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sanskrit-programmers+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sanskrit-programmers/CAANHO171E4hQyCTNnWnWd8Vqr1bd8Y%2BK%2BWgj8k_s%3DdrYOPeM_g%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.