#

type-level-programming

Here are 2 public repositories matching this topic...

betafcc / dtsr

Use your .d.ts files as the main code

typescript type-level-programming

Updated Feb 10, 2025
JavaScript

eilvelia / flow-lambda

Type-level lambda calculus in Flow via $Call

experimental flowtype type-level-programming

Updated Apr 13, 2019
JavaScript

Improve this page

Add a description, image, and links to the type-level-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-level-programming topic, visit your repo's landing page and select "manage topics."