Skip to content

@LogosLang LogosLang

All

    Repositories list

    1 repository

    • prologos

      Public
      Prologos is a functional-logic language unifying dependent types, session types, linear types (QTT), logic programming, and propagators.
      Racket
      •2•10•37•16•Updated Oct 13, 2026Oct 13, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.