typedefs

typedefs

Geek Repo

Github PK Tool:Github PK Tool

typedefs's repositories

typedefs

Programming language agnostic type construction language based on polynomials.

Language:IdrisLicense:AGPL-3.0Stargazers:364Issues:15Issues:150

typedefs.js

Typedefs library as a JavaScript NPM module

Language:JavaScriptStargazers:7Issues:4Issues:1

idris-gpd

Generic Packet Descriptions in Idris

Language:IdrisStargazers:3Issues:10Issues:0

try-typedefs

Try Typedefs!

cli

Typedefs Command Line Interface

Language:JavaScriptStargazers:2Issues:4Issues:1

purescript-typedefs-interop

DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

Language:JavaScriptStargazers:2Issues:5Issues:2

typedefs-docs

Typedefs automatically generated source documentation

Language:CSSStargazers:1Issues:4Issues:0

typedefs-example-reasonml

Demo of Typedefs Codegen with ReasonML

pm

project management

License:AGPL-3.0Stargazers:0Issues:4Issues:13

site

Typedefs website

Language:CSSStargazers:0Issues:5Issues:2