Shared links on https://my.terrot.net/links/

GitHub - anthony-arnold/AdaID: An Ada Library for UUID generation.

GITHUB · ADA · GUUID

August 7, 2018 at 18:16:44 GMT+2 · permalink

https://github.com/anthony-arnold/AdaID

GitHub - Lucretia/meta-ada: Meta layer for Yocto which adds support for Ada.

GITHUB · ADA · YOCTO

August 7, 2018 at 18:12:11 GMT+2 · permalink

https://github.com/Lucretia/meta-ada

GitHub - ChristophHaag/ada-Stopwatch: A small package that helps you measure the runtime of your application.

GITHUB · ADA

August 7, 2018 at 18:10:58 GMT+2 · permalink

https://github.com/ChristophHaag/ada-Stopwatch

Gem #106: Lady Ada Kisses Python — Part 2 - Adacore

ADA · PYTHON

August 7, 2018 at 17:49:53 GMT+2 · permalink

https://www.adacore.com/gems/gem-106-lady-ada-kisses-python-part-2

Inspirel - Articles - Ada-Python Demo

ADA

August 7, 2018 at 17:49:19 GMT+2 · permalink

http://www.inspirel.com/articles/Ada_Python_Demo.html

ada.pdf

ADA

August 4, 2018 at 16:10:22 GMT+2 · permalink

http://beru.univ-brest.fr/~singhoff/ENS/UE_temps_reel/CM/ada.pdf

Étienne BERSAC / powerline.bash · GitLab

August 4, 2018 at 15:11:14 GMT+2 · permalink

https://gitlab.com/bersace/powerline.bash

Une entreprise condamnée à verser 60.000 euros à un salarié qui devait rester disponible en permanence

August 2, 2018 at 21:41:32 GMT+2 · permalink

https://www.20minutes.fr/justice/2316511-20180802-entreprise-condamnee-verser-60000-euros-salarie-devait-rester-disponible-permanence

GCC 8.2 est disponible, cette mise à jour du compilateur libre corrige une centaine de bogues

July 31, 2018 at 22:23:00 GMT+2 · permalink

https://www.developpez.com/actu/217002/GCC-8-2-est-disponible-cette-mise-a-jour-du-compilateur-libre-corrige-une-centaine-de-bogues/

Wiki Evolix - Howto Nginx

July 31, 2018 at 21:59:40 GMT+2 · permalink

https://wiki.evolix.org/HowtoNginx

PWA : Intercepter les requêtes HTTP et les mettre en cache | Julien Pradet

July 31, 2018 at 21:59:15 GMT+2 · permalink

https://www.julienpradet.fr/fiches-techniques/pwa-intercepter-les-requetes-http-et-les-mettre-en-cache/

Ada_for_the_C_or_Java_Developer-cc.pdf

ADA

July 30, 2018 at 21:51:10 GMT+2 · permalink

https://www.adacore.com/uploads/books/pdf/Ada_for_the_C_or_Java_Developer-cc.pdf

learn.adacore.com

ADA

July 30, 2018 at 21:46:32 GMT+2 · permalink

https://learn.adacore.com/courses/intro-to-ada/chapters/introduction.html

Ada Bare bones - OSDev Wiki

ADA

July 30, 2018 at 21:41:03 GMT+2 · permalink

https://wiki.osdev.org/Ada_Bare_bones

Artium Nihamkin's Blog – Writing Linux Modules in Ada - Part 1

ADA

July 30, 2018 at 21:34:59 GMT+2 · permalink

http://www.nihamkin.com/2016/10/23/writing-linux-modules-in-ada-part-1/#writing-linux-modules-in-ada-part-1

GitHub - ActusOS/GnomeYosemiteIcons: A Linux icon theme to match Yosemite

July 28, 2018 at 22:36:36 GMT+2 · permalink

https://github.com/ActusOS/GnomeYosemiteIcons

GitHub - Foggalong/hardcode-fixer: Fixes Hardcoded Icons

July 28, 2018 at 22:35:21 GMT+2 · permalink

https://github.com/Foggalong/hardcode-fixer

GitHub - synthagency/icons-flat-osx: Free Flat icons For OSX

July 28, 2018 at 22:34:34 GMT+2 · permalink

https://github.com/synthagency/icons-flat-osx/

GitHub - keeferrourke/la-capitaine-icon-theme: La Capitaine is an icon pack designed to integrate with most desktop environments. The set of icons takes inspiration from the latest iterations of macOS and Google's Material Design.

July 28, 2018 at 22:33:14 GMT+2 · permalink

https://github.com/keeferrourke/la-capitaine-icon-theme

learn.adacore.com

ADA

July 27, 2018 at 22:59:09 GMT+2 · permalink

https://learn.adacore.com/courses/intro-to-ada/index.html