mgrojo

mgrojo's Stars

• wolfcw/libfaketime

  libfaketime modifies the system time for a single application

  Language:C2.7k61335323

• epasveer/seer

  Seer - a gui frontend to gdb

  Language:C++2.1k1917267

• pyjarrett/septum

  Context-based code search tool

  Language:Ada3735356

• ada-lang-io/ada-lang-io

  An Open Source Community site for Ada

  Language:TypeScript86105011

• SMerrony/dashera

  DasherA is a Data General DASHER D200/D210 terminal emulator

  Language:Ada37682

• kqr/qweyboard

  [HOLD] Qweyboard aims to be a Velotype/Veyboard like experience on a regular standard computer keyboard. I really like this and want to work on it but can't find the time

  Language:Ada35623

• alire-project/ada_spark_workflow

  A demo of best practices for open-source Ada/SPARK development

  Language:Ada30635

• TNO/Renaissance-Ada

  Tooling for analysis and manipulation of Ada software

  285232

• stcarrez/ada-security

  Ada Security - OAuth 2.0 client and server framework to secure web applications

  Language:Ada22521

• TNO/Rejuvenation-Ada

  Analysis and manipulation of Ada software based on concrete syntax

  Language:Ada227121

• GuillermoHazebrouck/gnav

  G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry Pi and similar ARM boards.

  Language:G-code21210

• Ada-Audio/audio_wavefiles

  Ada Wavefile Library

  Language:Ada17631

• persan/protobuf-ada

  Language:C++17943

• Latence-Technologies/Kafka-Ada

  Apache Kafka Ada client library, based off of librdkafka

  Language:Ada1425

• Kidev/AdaPhysics2D

  A 2D physics engine for Ada

  Language:Ada11400

• reznikmm/jwt

  JSON Web Token (JWT) implementation in Ada

  Language:Ada10510

• reznikmm/onnx_runtime

  Ada binding to ONNX runtime

  Language:Ada81

• persan/gnatcoll-json

  Language:Ada7312

• docandrew/gembrowse

  Terminal browser for the Gemini protocol

  Language:Ada6310

• SMerrony/keypadder

  Keypadder is a programmable virtual keypad you can access via a mobile phone or tablet

  Language:Ada6251

• reznikmm/jupyter

  Jupyter Client API in Ada

  Language:Ada530

• sebastianpoeplau/ada-light-mode

  Light Emacs major mode for Ada

  Language:Emacs Lisp5102

• Jellix/mars_mpl

  Mars Polar Lander Simulation

  Language:Ada4100

• ada-lang-io/ada-auth

  A mirror of Ada Reference Manual sources

  Language:CartoCSS3001

• io7m/coreland-openal-ada

  Ada bindings to OpenAL

  Language:Ada3301

• axal25/JacksChess

  Simple chess demo done in Ada using GtkAda library (Adacore distrubutions) on Windows 7 (64)

  Language:Ada2

• JeremyGrosser/synack_misc

  Miscellaneous useful packages for embedded projects

  Language:Ada2300

• moriyasum/GtkAda_OpenAL_Doppler_Effect_Sample2

  GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.

  Language:Ada2111

• persan/auto-io-gen

  Generate io Ada packages for tex JSON,XML,Simple Image, .....

  Language:Ada21

• Latence-Technologies/Properties-Ada

  Language:Ada1