Giters
Anthony Leonardo Gracio (AnthonyLeonardoGracio)

AnthonyLeonardoGracio

Geek Repo

11

followers

0

following

1

stars

Company:AdaCore

Github PK Tool:Github PK Tool

Anthony Leonardo Gracio's repositories

crazyflie-firmware

The main firmware for the Crazyflie Nano Quadcopter.

Language:AdaLicense:GPL-3.0Stargazers:16Issues:11Issues:0

ada_language_server

prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK

Language:AdaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

crazyflie-clients-python

Host applications and library for Crazyflie written in Python.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

vscode-cpptools

Official repository for the Microsoft C/C++ extension for VS Code.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0