Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
research [2018/11/13 12:10] – [Recent Software] mtororesearch [2025/10/27 13:52] (current) – etanter
Line 8: Line 8:
  
 ==== Recent Software ==== ==== Recent Software ====
 +  * [[https://pleiad.cl/gredex/|Gredex]]: Visualizing the semantics of gradual languages.
 +  * [[https://github.com/darquezt/gsoul-lang#readme|GSoul]]: Typescript implementation of GSoul, a gradual sensitivity language.
   * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F.   * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F.
   * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of GSLRef, a gradual language with security typing and references.   * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of GSLRef, a gradual language with security typing and references.