mosteo

syncthing

Open Source Continuous File Synchronization

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

realm-java

Realm is a mobile database: a replacement for SQLite & ORMs

agera

Reactive Programming for Android

ion

Android Asynchronous Networking and Image Loading

google-drive-ocamlfuse

FUSE filesystem over Google Drive

cardslib

Android Library to build a UI Card

ros2

The Robot Operating System, is a meta operating system for robots.

gif-for-cli

interactive-deep-colorization

Deep learning software for colorizing black and white images with a few clicks.

ros2_rust

Rust bindings for ROS 2

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

alire

Command-line tool from the Alire project and supporting library

AdaDoom3

Id Software's Id-tech-4-BFG in the Ada programming language.

rcl

Library to support implementation of language specific ROS Client Libraries.

rosidl

Packages which provide the ROS IDL (.msg) definition and code generation.

btrfs-snap

btrfs snapshots with rotation

OSVR-RenderManager

awesome-ada

Awesome resources and other links related to the Ada programming language

player

The Player cross-platform robot device interface & server

alire-index

Community index for the Alire project

gnatcoll-core

GNAT Components Collection – Core packages

ada-traits-containers

Generic Ada Library for Algorithms and Containers

NICOLE

NLTE Stokes Synthesis/Inversion Code

rosidl_typesupport

Packages which provide the typesupport for ROS messages and services

Ada-promises

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

libsodium-ada

libsodium for Ada - A secure cryptographic library

spark-navigation

Robot navigation algorithms implemented in SPARK

gnat-gpl-bugs

Test cases for various bugs in the latest GNAT GPL edition, to check their fixing on successive editions

cmake_langx

Sample language definition for CMake