Un nouveau projet, bientôt open source.
Nous préparons l'ouverture d'un nouveau projet. Même principe : bien construire, au grand jour, et laisser le travail parler de lui-même.
Être prévenu Open source
Nous construisons nos outils d'IA au grand jour.
Synalinks, Synalog et Synalinks Skills sont sous licence Apache-2.0 et développés en public, avec une communauté petite mais grandissante autour d'eux. C'est ce qui nous permet de promettre une IA de qualité ingénierie : nous l'avons construite nous-mêmes, au niveau le plus profond de la stack, là où chacun peut lire le code.
Cette page est technique. Ce qu'elle signifie côté entreprise : les outils avec lesquels nous rendons vos données prêtes pour l'IA sont publics, inspectables et gratuits, vous ne dépendez donc jamais de nous pour les faire tourner. Voir nos services
- 1.4k étoiles GitHub
- 1.6k téléchargements PyPI / mois
- Apache-2.0 licence
Synalinks
Un framework neuro-symbolique pour les applications à base de modèles de langage.
Synalinks est un framework pour construire, entraîner et déployer des applications à base de modèles de langage (RAG, agents autonomes, systèmes de raisonnement auto-évolutifs) avec une API déclarative et épurée héritée de Keras. Il apporte la discipline du deep learning aux systèmes d'IA : composer des briques, les optimiser contre de vraies métriques, et les déployer comme des services de production.
Pour démarrer
$ uvx synalinks init Ce que cela change pour vous : les systèmes que nous construisons chez vous sont mesurables et rejouables, parce que le framework impose des sorties structurées et une optimisation contre des métriques, pas contre une impression.
Synalog
Des tables brutes à la connaissance structurée et vérifiée.
Synalog est un moteur logique qui transforme des données relationnelles brutes en une couche sémantique de concepts nommés, de règles et de graphes de connaissances, compilée en SQL optimisé et contrôlée par un vérificateur formel avant toute exécution. C'est ainsi que des tables brutes deviennent du sens qu'une machine peut manipuler, avec une traçabilité complète de la réponse jusqu'à la source.
De la récursion, pas du SQL brut
Fib(step: 0, a: 0, b: 1);
@Recursive(Fib, 12);
Fib(step: s1, a: b, b: c) :-
Fib(step: s, a:, b:),
s1 == s + 1,
c == a + b;
@OrderBy(Fibonacci, "step");
Fibonacci(step:, value: a) :- Fib(step:, a:, b:);$ uvx synalog fib.l run Fibonacci
0 1 1 2 3 5 8 13 21 34 55 89 144
Ce que cela change pour vous : vos règles métier deviennent du code vérifié avant exécution, et chaque réponse remonte à la donnée qui l'a produite. C'est ce qui rend une réponse défendable devant un client ou un régulateur.
Synalinks Skills
Le savoir-faire Synalinks, empaqueté pour les agents de code.
Synalinks Skills est une bibliothèque de compétences au format ouvert
SKILL.md qui apprend aux agents de code à écrire
du Synalinks idiomatique : guides scannables, scripts exécutables et références
approfondies, couvrant le framework de bout en bout. Sans ce guidage, un modèle
mélange les syntaxes et produit du code plausible mais cassé ; avec, il travaille
comme quelqu'un de la maison.
Ce que cela change pour vous : nous savons transformer une façon de travailler en instructions qu'une machine exécute. Nous l'avons fait sur la nôtre : c'est exactement le travail que nous faisons sur le savoir-faire de vos équipes.
Construit en public, avec une communauté autour.
Nos frameworks sont sous licence Apache-2.0 et développés en public. Mettez une étoile aux dépôts, ouvrez une issue, ou rejoignez la conversation. Et si vous préférez que nous appliquions cette profondeur à votre entreprise, c'est exactement à cela que servent nos services.