Pinned Repositories
TTS-Runtime-Ravenscar
Runtime extension to support time-triggered dispatching in Ravenscar
AdaML
Ada-tailored UML Modeling Language
advent-of-code
Advent of Code puzzle solutions
dynamic-ruler
Emacs package to show a dynamic ruler that can be freely moved around the buffer, for measuring and positioning text.
elscreen-fr
Put (el)screen titles on window frame
euler_tools
Assortment of Ada functions to solve Euler Project problems
mold
Meta-variable Operations for Lean Development
ob-ada-spark
persp-fr
Show perspective list in the GUI window frame
ubuntu-theme
Ubuntu color theme for Emacs 24
rocher's Repositories
rocher/dynamic-ruler
Emacs package to show a dynamic ruler that can be freely moved around the buffer, for measuring and positioning text.
rocher/AdaML
Ada-tailored UML Modeling Language
rocher/ob-ada-spark
rocher/mold
Meta-variable Operations for Lean Development
rocher/advent-of-code
Advent of Code puzzle solutions
rocher/euler_tools
Assortment of Ada functions to solve Euler Project problems
rocher/graph-C
DAG scheduling simulation
rocher/mold_lib
Meta-variable Operations for Lean Development
rocher/Alice
Adventures for Learning and Inspiring Coding Excellence
rocher/alice-project_euler-rocher
Project Euler solutions integrated into Alice framework
rocher/alice-test
Test repository used by Alice Adventures
rocher/alice-test-project_euler
Test created repo from tempoate with API
rocher/alire
Command-line tool from the Alire project and supporting library
rocher/alire-index
Community index for the Alire project
rocher/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
rocher/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
rocher/awesome-machine-learning
A curated list of awesome Machine Learning frameworks, libraries and software.
rocher/awesome-provable
A curated set of links to formal methods involving provable code.
rocher/awesome-raspberry-pi
📝 A curated list of awesome Raspberry Pi tools, projects, images and resources
rocher/awesome-robotics
A list of awesome Robotics resources
rocher/awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
rocher/cpp-20
rocher/git_tools
Ada library to perform git tasks and access GitHub API
rocher/gnatcov-to-codecovio-action
GitHub actions to upload coverage results from gnatcov to codecov.io
rocher/gnoga
gnoga - The GNU Omnificent GUI for Ada
rocher/melpa
Recipes and build machinery for the biggest Emacs package repo
rocher/platformio-core
Your Gateway to Embedded Software Development Excellence :alien:
rocher/project_euler
Alice Adventures - repository for Project Euler problems
rocher/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
rocher/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.