Repositories list

• typedefs

  Public
  Programming language agnostic type construction language based on polynomials.

  serializationtypesmarshalling+ 5type-theorycategory-theoryserialization-libraryf-algebrastype-definitions

  Idris

  •

  GNU Affero General Public License v3.0

  •18•366•51•4•Updated May 29, 2024May 29, 2024

• site

  Public
  Typedefs website

  typestype-theorycategory-theory+ 2serialization-libraryf-algebras

  CSS

  •1•0•2•19•Updated Jan 9, 2023Jan 9, 2023

• typedefs.js

  Public
  Typedefs library as a JavaScript NPM module

  npm-modulejavascript-bindingstypedefs

  JavaScript

  •2•7•0•11•Updated Jan 4, 2023Jan 4, 2023

• try-typedefs

  Public
  Try Typedefs!

  playgroundwebsitesandbox+ 1typedefs

  JavaScript

  •2•3•9•11•Updated Dec 3, 2022Dec 3, 2022

• idris-gpd

  Public
  Generic Packet Descriptions in Idris

  Idris

  •0•3•0•0•Updated Sep 3, 2019Sep 3, 2019

• purescript-typedefs-interop

  Public archive
  DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

  purescriptdeprecatedserialisation+ 1typedefs

  JavaScript

  •0•2•1•0•Updated May 21, 2019May 21, 2019

• cli

  Public
  Typedefs Command Line Interface

  code-generatorcli-tooltypedefs

  JavaScript

  •0•2•1•0•Updated Apr 18, 2019Apr 18, 2019

• typedefs-example-reasonml

  Public
  Demo of Typedefs Codegen with ReasonML

  0•1•1•0•Updated Jan 9, 2019Jan 9, 2019

• typedefs-docs

  Public
  Typedefs automatically generated source documentation

  documentation

  CSS

  •0•1•0•0•Updated Dec 25, 2018Dec 25, 2018

• pm

  Public
  project management

  project-management

  GNU Affero General Public License v3.0

  •0•0•12•0•Updated May 15, 2018May 15, 2018

• tdlc

  Public
  compiler

  serializationproducttypes+ 5functional-programminglambda-calculusdeserializationcoproducttypedef

  0•1•4•0•Updated Sep 24, 2017Sep 24, 2017