Explore projects

Guidelines, and walkthrough, for archiving and referencing software artifacts in Software Heritage

A generator of debugger for the Skel language for semantics description

A Kôika implementation of a pipelined RV32I processor with interrupts and exceptions

WeSED is an experimental dataset crafted to benchmark and study Web-SPARQL queries across real-world domains. It contains a curated collection of hybrid queries covering topics like books and cinema, linking centralized knowledge (from sources like DBpedia) with web-based microdata (e.g., schema.org annotations). Each query in WeSED is structured into three components - store, web, and microdata - and targets specific search intents such as book pricing or movie streaming availability. This dataset provides a practical foundation for evaluating the effectiveness, latency, and scalability of Web-SPARQL engines, offering a reproducible base for experimental research in hybrid semantic querying.

Tentative portable (latex and html) usage of vector pictures for org-mode.

The rrspace software computes bases of Riemann-Roch spaces for curves defined over Z/pZ. It also provides functions to compute the group law on the Jacobian of such curves.

A configurable benchmark harness with PAPI counters and automatic export of benchmark results to JSON.

The MorphoNet Unity git

Notebooks tutorials for serpico tools

Low Rank Algebra Package