typedefs

Repositories

• typedefs

  Programming language agnostic type construction language based on polynomials.

  serialization types marshalling type-theory category-theory serialization-library f-algebras
  Idris AGPL-3.0 15 282 50 4 Updated Aug 22, 2020

• typedefs.js

  Typedefs library as a JavaScript NPM module

  npm-module javascript-bindings typedefs
  JavaScript 2 2 0 2 Updated Jul 30, 2020

• try-typedefs

  Try Typedefs!

  playground website sandbox typedefs
  JavaScript 2 2 9 3 Updated Jul 30, 2020

• site

  Typedefs website

  types type-theory category-theory serialization-library f-algebras
  CSS 1 0 2 2 Updated Jul 16, 2020

• idris-gpd

  Generic Packet Descriptions in Idris
  Idris 0 1 0 0 Updated Sep 3, 2019

• purescript-typedefs-interop Archived

  DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

  purescript deprecated serialisation typedefs
  JavaScript 0 2 1 0 Updated May 21, 2019

• cli

  Typedefs Command Line Interface

  code-generator cli-tool typedefs
  JavaScript 0 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

  documentation
  CSS 0 0 0 0 Updated Dec 25, 2018

• pm

  project management

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

• tdlc

  compiler

  serialization product types functional-programming lambda-calculus deserialization coproduct
  0 1 4 0 Updated Sep 24, 2017