- ALICe - A Benchmark for Automatic Loop Invariant Computation
- AnoDB - Convenient Wrapper around AioSQL and a Database Connection
- Arezzo - Apprentissage en ligne le l'harmonie et du contrepoint
- CacheToolsUtils - Utilities for CacheTools
- Coq-serapi - Machine-Friendly, Data-Centric Serialization for Coq
- Datafiller - Generate Random Data from Database Schema
- Dedukti - A Logical Framework
- FlaskSimpleAuth - The Secure Flask Framework
- GeLaBa - Langage Harmonisé d'Échange d'informations sur l'Offre de formation
- Hemisphere Education - Collection d'outils éducatifs et d'exercices interactifs
- JsCoq - JsCoq Interactive Online System
- JSON Model - JSON Model Tools
- JSON Schema Stats - JSON Schema Stats Tools
- Linear/C3 - Linear C3 Library
- LOUISE - Agent conversationnel pour les personnes âgées atteintes de troubles cognitifs
- MINWii - Video Game-based Music Therapy for Patients Suffering from Alzheimer's Disease
- Newgen - Data Structures Generator
- Pads'n'Swing - Music Learning Game
- PG_Comparator - Network and Time Efficient Relational Table Comparison
- PIPS - Scientific Programs Interprocedural Parallelizer
- Plinn - CMS
- ProxyPatternPool - Generic Proxy and Pool Classes for Python
- SALIX - Improve your Database Design with Salix Babylonica
- Ssrbit - A library for Bit Sequences and Bit Sets
- TupLock - Lock Tuple PostgreSQL Extension
- Universal Report - Universal and Automatic Code Analysis and Documentation Tool
- VerDILog - Certified Graph View Maintenance with Regular Datalog
- YAC - Yet Another JSON Schema Corpus
