Knowledge Base

Curated X posts, YouTube videos, repositories and articles on AI, web development and design. Updated every day, summarised by AI and searchable with AI search.

Topics

1 entry

Keyword: authorization

Repository:rauchg/gdp-ts6 Oct 2026
gdp-ts: Compile-Time Authorization Proofs in TypeScript
gdp-ts brings the 'Ghosts of Departed Proofs' paradigm to TypeScript, enforcing authorization and entitlement checks at compile time via the type checker.
550starsTypeScript
From X post: gdp-ts: Type-Level Authorization Proofs for Sensitive Operations and Agent Code
Web development· Tool

1 of 1 shown

Suggest Content

Do you have an interesting article, a video, or a tweet that belongs in our knowledge base? Write to us at office@webconsulting.at.

Let's talk about your project

Get in touch

Locations

Mattersburg
Johann Nepomuk Bergerstraße 7/2/14
7210 Mattersburg, Austria
Vienna
Ungargasse 64-66/3/404
1030 Wien, Austria

Parts of this content were created with the assistance of AI.

Knowledge Base

gdp-ts: Compile-Time Authorization Proofs in TypeScript

Suggest Content

Let's talk about your project

Locations