Skip to content
Change the repository type filter

All

    Repositories list

    • top-apps

      Public
      Example applications for Top, the type oriented protocol.
      Haskell
      1300Updated Jul 13, 2025Jul 13, 2025
    • router

      Public
      Flexible, typed router, supports Top (type oriented protocol) channels
      Haskell
      0200Updated May 29, 2025May 29, 2025
    • Parser, pretty printer and code generators for the ZM data modelling language
      Haskell
      0000Updated May 9, 2025May 9, 2025
    • top

      Public
      Haskell API for Top, the type oriented protocol.
      Haskell
      01200Updated May 9, 2025May 9, 2025
    • zm

      Public
      Language independent, reproducible, absolute types.
      Haskell
      02250Updated May 9, 2025May 9, 2025
    • model

      Public
      Derive a model of a Haskell data type
      Haskell
      1400Updated Jan 9, 2024Jan 9, 2024
    • ts-top

      Public
      Top/Flat/ZM in TypeScript
      TypeScript
      00015Updated Jan 24, 2023Jan 24, 2023
    • flat

      Public
      Principled and efficient binary serialization
      Haskell
      176110Updated Nov 7, 2022Nov 7, 2022
    • ts-adt

      Public
      Typescript ADTs
      TypeScript
      0000Updated Jun 7, 2020Jun 7, 2020
    • ts-core

      Public
      Core files for TypeScript support
      TypeScript
      0000Updated Jun 7, 2020Jun 7, 2020
    • quid2.org

      Public
      Contents of quid2.org web site
      JavaScript
      0001Updated Nov 2, 2019Nov 2, 2019
    • Example WWW applications for Top, the type oriented protocol.
      JavaScript
      0000Updated May 26, 2017May 26, 2017