JevCode /Retour à la couverture / kavehmz/typesafe-playground

kavehmz/typesafe-playground

La décision

README states: Small, interactive experiments with TypeSafe Jev: from understanding a support message to making decisions for a car in a 3D world.

Lien de preuve

https://github.com/kavehmz/typesafe-playground/blob/main/demo01/server.mjs#L67

Étiquettes de vérification

  • call-site-verifiedDu code public qui appelle Jev et exploite sa réponse a été localisé.

Les étiquettes décrivent le type de preuve ; ce ne sont ni une note ni un classement.

Catégorie

Catégorie
Autres listes
Dépôt
https://github.com/kavehmz/typesafe-playground
Ajouté le
2026-10-29
Vérifié le
2026-10-29

Continuer sur ce site

Essai, documentation, cas et tarifs renvoient l'un à l'autre. La page suivante est sur ce site.

Plus sur ce site

Utiliser clavue-jev

Documentation

Cas