typedefs

typedefs
Programming language agnostic type construction language based on polynomials.

Idris 344 AGPL-3.0 16 50 4 Updated Aug 15, 2021
typedefs.js
Typedefs library as a JavaScript NPM module

JavaScript 5 2 0 6 Updated Aug 10, 2021
site
Typedefs website

CSS 0 1 2 14 Updated Aug 10, 2021
try-typedefs
Try Typedefs!

JavaScript 2 2 9 6 Updated Aug 10, 2021
idris-gpd
Generic Packet Descriptions in Idris

Idris 1 0 0 0 Updated Sep 3, 2019
purescript-typedefs-interop Archived
DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

JavaScript 2 0 1 0 Updated May 21, 2019
cli
Typedefs Command Line Interface

JavaScript 1 0 1 0 Updated Apr 18, 2019
typedefs-example-reasonml
Demo of Typedefs Codegen with ReasonML

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

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

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

Pinned