Pinned Loading

1. arabicscript arabicscript Public

   arabicscript is a Python library of tools for Arabic script as defined in the Unicode standard

   Python 8 2

2. madinah_mushaf madinah_mushaf Public

   Python code to convert Madinah Mushaf edition of Quran to Unicode-compliant text

   Python 2 1

3. aiw2 aiw2 Public

   Alice In Wonderland, version 2: Automated mathematical reasoning and knowledge discovery

   Haskell 2

4. DLvalidity DLvalidity Public

   DLvalidity is an automatic theorem prover for description logic.

   Haskell

5. quraysh quraysh Public

   Quraysh is a Python program that uses Linear Programming to verify genealogical connections and estimate birth dates for ancient ancestors.

   Python

6. GslcTagger GslcTagger Public

   GslcTagger for parts of speech tagging of the spoken Swedish corpus called GSLC

   Haskell