Frédéric Praca's repositories
distributed_cbsg
Code for FOSDEM'19 presentation about distributed computing in Ada
adataptempo
Port of C++ TapTempo in Ada
ackermann_msgs
ROS messages for Ackermann steering
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
alire-index
Community index for the Alire project
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
droolsjbpm-build-bootstrap
The build bootstrap contains the parent pom, guidelines and scripts for Drools, jBPM and OptaPlanner.
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
ngx-graph-demo-znonjj
Created with StackBlitz ⚡️
nomad_consul_testbed
Repository to test Nomad
opendata-browser
Just a small repository for Angular 4 and TypeScript tests around OpenData
optaplanner
Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other planning problems.
optaplanner-website
The awestruct sources for the website https://www.optaplanner.org and the presentation sources.
puppetlabs-puppet_agent
Module for managing Puppet-Agent
ravenscar-sfp-stm32f411-nucleo
A port of the Ada Ravenscar profile to the STM32F411 Nucleo microcontroller.
rClr
R package for accessing .NET
rosjava_mvn_repo
Maven artifact repository for rosjava dependencies and builds.
stm32f411-gnat-blink
A simple blink demo for the STM32F411 Nucleo board written in Ada.