cristianoc/TScert
- Total stars
- 141
- Today
- +0since 00:09 UTC
More actions
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
A research verifier for TypeScript functions: it accepts a function only with a proof of type safety, and the checker's soundness is itself proved in Lean 4. It rejects `any`, type assertions and unchecked array reads that `tsc` lets through.
Useful for
- Check a single TypeScript function for type safety via `make check FILE=...`
- Find spots where `tsc` allows reading `undefined` from an array after `pop`
- Study the formal semantics and typing rules of a TypeScript subset in Lean
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of November 9, 2026, 01:38 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-11-09 (UTC), 00:09–01:36: 141 → 141 stars (+0). This is the change over that interval.
- The repository is 24 days old and already has 141 stars.
- Hacker News: “TScert: A Sound Core for TypeScript” — 25 points, 4 days ago.
- Recent forks include notable developers: @robertpenner (589 followers).
Measured growth: the last 7 completed days
New stars over 7 days: 141.
Daily measurements · UTC
- November 2, 2026
- 0
- November 3, 2026
- 0
- November 4, 2026
- 101
- November 5, 2026
- 34
- November 6, 2026
- 2
- November 7, 2026
- 4
- November 8, 2026
- 0
Largest measured day in the last 30 days: 101 · November 4, 2026. Days with data: 24.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: November 9, 2026, 01:38 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 141
- Today
- +0 stars measured 2026-11-09, 00:09–01:36 UTC, ≈ 0 by evening
- Forks
- 3
- Issues and pull requests
- 129
- Watchers
- 1
- Language
- TypeScript
- Latest release
- v0.94 · November 4, 2026
- Created
- October 16, 2026
- Last push
- November 9, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Hacker News discussions
- TScert: A Sound Core for TypeScript25 points, November 4, 2026
Spotted in
- November 9, 2026Spotted on Hacker News
- November 8, 2026Spotted on Hacker News
- November 7, 2026Spotted on Hacker News
- November 6, 2026Spotted on Hacker News
- November 5, 2026Spotted on Hacker News
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/cristianoc/TScert)