TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

cristianoc/TScert

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

Open source Developer tools TypeScript

Stars

108

Today

+34

last 24 hours

This week

+45

Forks

3

Clone

git clone https://github.com/cristianoc/TScert.git

Star growth

2026-11-04: +212026-11-05: +34 (today so far)2026-11-04todaymax +34/day
Stars gained per day since 2026-11-04; the lighter bar is today so far.
#formal-verification#lean4#proof-carrying-code#type-safety#type-systems#typescript
Created
2026-10-16
Last commit
2026-11-04
Gained since tracking
+45

Similar in Developer tools

Updated Thu, 05 Nov 2026 12:25:50 GMT · description from the project itself