Francesc Rocher

dynamic-ruler. Emacs package to show a dynamic ruler that can be freely moved around the buffer, for measuring and positioning text.

AdaML. Ada-tailored UML Modeling Language

ubuntu-theme. Ubuntu color theme for Emacs 24

elscreen-fr. Put (el)screen titles on window frame

ob-ada-spark. Emacs Lisp

mold. Meta-variable Operations for Lean Development

persp-fr. Show perspective list in the GUI window frame

advent-of-code. Advent of Code puzzle solutions

mold_lib. Meta-variable Operations for Lean Development

graph-C. DAG scheduling simulation

euler_tools. Assortment of Ada functions to solve Euler Project problems

gnatcov-to-codecovio-action. GitHub actions to upload coverage results from gnatcov to codecov.io

alire. Command-line tool from the Alire project and supporting library

platformio-core. Your Gateway to Embedded Software Development Excellence :alien:

projecte-smx2c-2025-2026. Repositori de prova per fer tests

cpp-20. CMake

alice-project_euler-rocher. Project Euler solutions integrated into Alice framework

git_tools. Ada library to perform git tasks and access GitHub API

gnoga. gnoga - The GNU Omnificent GUI for Ada

project_euler. Alice Adventures - repository for Project Euler problems

alice-test. Test repository used by Alice Adventures

Alice. Adventures for Learning and Inspiring Coding Excellence

alice-test-project_euler. Test created repo from tempoate with API

fsa21-srts-sw-dl. Ada

AirportSimulator. Airport simulator game for processing

SonicPainter. Processing

CellularPainter. Processing

git-flow-tutorial.

awesome-ada. A curated list of awesome resources related to the Ada and SPARK programming language

awesome-machine-learning. A curated list of awesome Machine Learning frameworks, libraries and software.