AnthonyLeonardoGracio

AdaCore

Pinned Repositories

ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada230 36 20354
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada402 50 16453
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Language:Ada65 37 11621
gtkada
Ada bindings for the GTK+ graphical library.
Language:Ada88 17 4319
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada245 47 3634
ada_language_server
prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK
Language:Ada0 1 00
crazyflie-clients-python
Host applications and library for Crazyflie written in Python.
Language:Python0 1 00
crazyflie-firmware
The main firmware for the Crazyflie Nano Quadcopter.
Language:Ada16 11 02
vscode-cpptools
Official repository for the Microsoft C/C++ extension for VS Code.
Language:TypeScript0 0 00
vscode-cpptools
Official repository for the Microsoft C/C++ extension for VS Code.
Language:TypeScript5.5k 222 9.2k1.5k

AnthonyLeonardoGracio/crazyflie-firmware
The main firmware for the Crazyflie Nano Quadcopter.
Language:Ada16 11 02
AnthonyLeonardoGracio/ada_language_server
prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK
Language:Ada0 1 00
AnthonyLeonardoGracio/crazyflie-clients-python
Host applications and library for Crazyflie written in Python.
Language:Python0 1 00
AnthonyLeonardoGracio/vscode-cpptools
Official repository for the Microsoft C/C++ extension for VS Code.
Language:TypeScript0 0 00