Sujet: "translation"
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
langage: Rocq Prover - taille: 783 ko - dernière synchronisation: il y a environ 3 heures - enregistré: il y a 3 mois - étoiles: 9 - forks: 7
numerique-gouv/croissant-translate
A micro application based on CroissantLLM and running in the browser with WebLLM. Translates texts between French and English without sharing your content to the server.
langage: TypeScript - taille: 132 ko - dernière synchronisation: il y a environ 14 heures - enregistré: il y a environ 2 ans - étoiles: 5 - forks: 3
