typedefs

site Public
Typedefs website

CSS 0 1 2 16 Updated Feb 12, 2022
typedefs.js Public
Typedefs library as a JavaScript NPM module

JavaScript 5 2 0 7 Updated Feb 11, 2022
try-typedefs Public
Try Typedefs!

JavaScript 2 2 9 7 Updated Jan 27, 2022
typedefs Public
Programming language agnostic type construction language based on polynomials.

Idris 355 AGPL-3.0 18 50 4 Updated Dec 7, 2021
idris-gpd Public
Generic Packet Descriptions in Idris

Idris 1 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 1 0 1 0 Updated Apr 18, 2019
typedefs-example-reasonml Public
Demo of Typedefs Codegen with ReasonML

0 0 1 0 Updated Jan 9, 2019
typedefs-docs Public
Typedefs automatically generated source documentation

CSS 0 0 0 0 Updated Dec 25, 2018
pm Public
project management

0 AGPL-3.0 0 12 0 Updated May 15, 2018

Pinned