Launching today
Koschei Lang
Capability-secure programming language
2 followers
Capability-secure programming language
2 followers
A pre-1.0 capability-secure programming language with explicit disk, network, environment and process authority, security diagnostics, and a native build path.
Payment Required
Launch tags:Developer Tools
Launch Team
Customer.ioAutomate Messaging Everywhere — Startups Get 12 Months Free
Promoted
Hi Product Hunt! 👋
I'm introducing Koschei Lang 0.10.0, a new capability-secure programming language.
The idea: imported code shouldn't automatically inherit access to your disk, network, environment, or processes.
🔐 "ks check" detects unauthorized capability usage before execution.
🔍 "ks caps" makes permissions visible and auditable.
⚙️ "ks build" supports native compilation through the current Go adapter.
Our technical demo shows an unauthorized dependency rejected with KS2401.
Koschei Lang is pre-1.0, and developer feedback is very welcome!
💻 Individual License: $49 USD, one-time.
🌐 https://koschei-lang-web-product...