Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
research [2024/05/15 18:55] – [Recent Software] darquezresearch [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.   * [[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.