GitHub / typedefs 6 Repositories
typedefs/cli
Typedefs Command Line Interface
Language: JavaScript - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
Language: Idris - Size: 718 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 364 - Forks: 18
typedefs/try-typedefs
Try Typedefs!
Language: JavaScript - Size: 753 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2
typedefs/idris-gpd
Generic Packet Descriptions in Idris
Language: Idris - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0
typedefs/typedefs.js
Typedefs library as a JavaScript NPM module
Language: JavaScript - Size: 829 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 2
typedefs/purescript-typedefs-interop 📦
DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript
Language: JavaScript - Size: 46.9 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
typedefs/typedefs-example-reasonml
Demo of Typedefs Codegen with ReasonML
Size: 1000 Bytes - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
typedefs/typedefs-docs
Typedefs automatically generated source documentation
Language: CSS - Size: 73.2 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
typedefs/site
Typedefs website
Language: CSS - Size: 1.15 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
typedefs/pm
project management
Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
typedefs/tdlc
compiler
Size: 92.8 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0