Travaux

Résultats: 11

1. Mensor

   En ligne

   Vérificateur de contrats déterministe pour applications HTML rendues serveur modifiées par agents. Valide les formulaires, entrées d'action, rôles source et frontières d'import en JSON.

   Licence

   MIT-0

   Langages principaux

   • TypeScript

   • contract-checker
   • static-analysis
   • Outils de développement
   • Flux d'agents

2. dc-code-paste

   En ligne

   Éditeur web statique qui transforme Markdown, blocs de code, callouts et brouillons assistés par IA en HTML riche à coller dans DCInside.

   Langages principaux

   • TypeScript
   • Svelte

   • dcinside
   • editor
   • markdown
   • ai-writing

3. laqu

   En ligne

   Runtime TypeScript strict pour une progression fiable en terminal, un rendu CLI en direct et des événements de progression lisibles par machine sur Node.js.

   Licence

   MIT

   Langages principaux

   • TypeScript

   • terminal
   • progress-bar
   • cli
   • library

4. mustflow

   En ligne

   CLI de contrat de travail et de vérification local au dépôt, qui garde les agents de code LLM dans des limites explicites de lecture, de commande et de validation.

   Licence

   MIT-0

   Langages principaux

   • TypeScript

   • Flux d'agents
   • cli
   • Outils de développement
   • automation

5. Ohrisk

   En ligne

   CLI local qui analyse les dépendances et les entrées SBOM afin de repérer les risques de licence open source avant une PR ou une release.

   Licence

   MIT

   Langages principaux

   • TypeScript

   • license
   • compliance
   • supply-chain
   • cli

6. ssealed

   En ligne

   CLI TypeScript qui crée des scaffolds de dépôt adaptés aux LLM pour les docs, les consignes d'agents, les contrats, les validations et les fichiers d'hygiène.

   Licence

   MIT

   Langages principaux

   • TypeScript

   • scaffold
   • Flux d'agents
   • Outils de développement
   • cli

7. buildmarks

   En ligne

   GitHub Action et noyau TypeScript qui transforment l'activité GitHub publique en cartes de signaux d'ingénierie et rapports vérifiables pour profils README.

   Licence

   0BSD

   Langages principaux

   • TypeScript

   • github
   • profile-readme
   • github-action
   • Outils de développement

8. Fairy C

   Expérimental

   Langage de programmation système expérimental avec contrôle de type C, sans garbage collector et valeurs par défaut plus sûres d'ownership/aliasing/bounds/effects.

   Langages principaux

   • Go

   • programming-language
   • compiler
   • systems-programming
   • language-design

9. Krasis

   Expérimental

   KVM logiciel Phase 0 pour partager clavier et souris entre deux PC Windows via mTLS avec hooks bas niveau et crash guard.

   Langages principaux

   • Go

   • software-kvm
   • input-sharing
   • windows
   • desktop-app

10. Velox

    Expérimental

    Empaqueteur Windows sans compilation qui transforme HTML/CSS/JS en application WebView2 portable avec ZIP déterministe, SBOM et provenance.

    Licence

    MIT

    Langages principaux

    • Go

    • app-packager
    • webview2
    • desktop-app
    • compile-free

11. Clarissimi

    Expérimental

    GitHub Action et CLI TypeScript expérimentaux qui aident les maintainers à transformer les contributions open source fusionnées en historique approuvé du projet.

    Licence

    Apache-2.0

    Langages principaux

    • TypeScript

    • github-action
    • recognition
    • open-source
    • automation