typedefs

typedefs Public
Programming language agnostic type construction language based on polynomials.

typedefs/typedefs’s past year of commit activity

Idris 370 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 3 0 2 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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

typedefs

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics