Explore projects

OBSOLETE: replaced by https://github.com/grew-nlp/arboratorgrew_server/

Repository for Validation Profiles

Private copy of the ScotchPy CodeBerg repository

Private copy of the ScotchPy CodeBerg repository

Backend for the SRKID platform, a web interface to a graphe database designated to explore musical patterns

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.

Music transcription framework based on parsing for weighted regular tree grammars