Typescript can type-check javascript files that are annotated with JSDoc comments. With those, you can express almost the entire type system of TS while keeping

Typescript can type-check javascript files that are annotated with JSDoc comments. With those, you can express almost the entire type system of TS while keeping your files directly interpretable by the browser without preprocessing. Are there any experiments like that for C?