Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Le projet atom-dedukti est un éditeur de texte pour Atom dédié à la manipulation et à la vérification de preuves formelles dans le contexte de la déduction. Il permet de gérer des goals et hypothèses, de les lier entre elles et de les visualiser clairement. Il offre également des fonctionnalités de navigation dans les fichiers de déduction à l'aide de raccourcis clavier.
- Ce projet vise à présenter les avancées de la transcription et de la structuration des monographies sociologiques des Ouvriers des deux mondes, publiées par Frédéric Le Play et la Société internationale des études pratiques d'économie sociale. Les textes ont été acquis et structurés automatiquement à partir des numérisations d'Internet Archive, puis encodés scientifiquement. L'application permet de visualiser les monographies et leurs textes, ainsi que de rechercher dans ceux-ci.
- Carnet algopresse est un outil expérimental de workflow collaboratif dédié au refinement de visualisations de données et de leur apparatus textuel. Il vise à soutenir les itérations rapides entre sociologues, designers et développeurs grâce à la mise en place d'une structure/d'un artisanat de visualisations+textes « diapositives », basées sur les langages markdown+react.
- Gargantext est une plateforme collaborative d'exploration de corpus de textes. Il combine des outils de traitement automatique des langues, de fouille de textes, d'analyse de réseaux complexes et de visualisation interactive pour permettre une analyse approfondie de grands corpus de données textuelles.
46 initiatives
10