Skip to content
@typedefs

typedefs

Pinned Loading

  1. typedefs typedefs Public

    Programming language agnostic type construction language based on polynomials.

    Idris 366 18

  2. site site Public

    Typedefs website

    CSS 1

Repositories

Showing 10 of 11 repositories
  • typedefs Public

    Programming language agnostic type construction language based on polynomials.

    typedefs/typedefs’s past year of commit activity
    Idris 366 AGPL-3.0 18 51 4 Updated May 29, 2024
  • site Public

    Typedefs website

    typedefs/site’s past year of commit activity
    CSS 0 1 2 19 Updated Jan 9, 2023
  • typedefs.js Public

    Typedefs library as a JavaScript NPM module

    typedefs/typedefs.js’s past year of commit activity
    JavaScript 7 2 0 11 Updated Jan 4, 2023
  • try-typedefs Public

    Try Typedefs!

    typedefs/try-typedefs’s past year of commit activity
    JavaScript 3 2 9 11 Updated Dec 3, 2022
  • idris-gpd Public

    Generic Packet Descriptions in Idris

    typedefs/idris-gpd’s past year of commit activity
    Idris 3 0 0 0 Updated Sep 3, 2019
  • purescript-typedefs-interop Public archive

    DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

    typedefs/purescript-typedefs-interop’s past year of commit activity
    JavaScript 2 0 1 0 Updated May 21, 2019
  • cli Public

    Typedefs Command Line Interface

    typedefs/cli’s past year of commit activity
    JavaScript 2 0 1 0 Updated Apr 18, 2019
  • typedefs-example-reasonml Public

    Demo of Typedefs Codegen with ReasonML

    typedefs/typedefs-example-reasonml’s past year of commit activity
    1 0 1 0 Updated Jan 9, 2019
  • typedefs-docs Public

    Typedefs automatically generated source documentation

    typedefs/typedefs-docs’s past year of commit activity
    CSS 1 0 0 0 Updated Dec 25, 2018
  • pm Public

    project management

    typedefs/pm’s past year of commit activity
    0 AGPL-3.0 0 12 0 Updated May 15, 2018
View all repositories