Skip to content
@typedefs

typedefs

Pinned Loading

  1. typedefs Public

    Programming language agnostic type construction language based on polynomials.

    Idris 367 18

  2. site Public

    Typedefs website

    CSS 1

Repositories

Showing 10 of 11 repositories
  • typedefs Public

    Programming language agnostic type construction language based on polynomials.

    Idris 367 AGPL-3.0 18 51 4 Updated May 29, 2024
  • site Public

    Typedefs website

    CSS 0 1 2 19 Updated Jan 9, 2023
  • typedefs.js Public

    Typedefs library as a JavaScript NPM module

    JavaScript 7 2 0 11 Updated Jan 4, 2023
  • try-typedefs Public

    Try Typedefs!

    JavaScript 3 2 9 11 Updated Dec 3, 2022
  • idris-gpd Public

    Generic Packet Descriptions in Idris

    Idris 3 0 0 0 Updated Sep 3, 2019
  • purescript-typedefs-interop Public archive

    DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

    JavaScript 2 0 1 0 Updated May 21, 2019
  • cli Public

    Typedefs Command Line Interface

    JavaScript 3 0 2 0 Updated Apr 18, 2019
  • typedefs-example-reasonml Public

    Demo of Typedefs Codegen with ReasonML

    1 0 1 0 Updated Jan 9, 2019
  • typedefs-docs Public

    Typedefs automatically generated source documentation

    CSS 1 0 0 0 Updated Dec 25, 2018
  • pm Public

    project management

    0 AGPL-3.0 0 12 0 Updated May 15, 2018
View all repositories