Projects in Awesome Lists tagged with gnat

A curated list of projects in awesome lists tagged with gnat .

• Sort

  • Recently synced
  • Stars

https://github.com/its-pointless/gcc_termux

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

ada android command-line ecl fortran gcc gcc-complier gnat julia julialang mongodb ocaml octave opencv pascal rakudo rstats scipy termux vlc

Last synced: 05 Apr 2025

https://github.com/simonjwright/FreeRTOS-Ada

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

ada cortex gnat risc-v rtos rts

Last synced: 14 Mar 2025

https://github.com/jeremygrosser/pico_examples

Ada examples for the Raspberry Pi Pico

ada cortex-m gnat pico raspberry-pi rp2040

Last synced: 17 Nov 2024

https://github.com/jeremygrosser/notcursesada

Ada bindings for the notcurses text user interface library

ada binding gnat notcurses terminal tui

Last synced: 12 Mar 2025

https://github.com/Alex-Gamper/Ada-WinRT

Ada bindings for the Microsft WinRT Api

ada ada-winrt gcc gnat winrt

Last synced: 14 Mar 2025

https://github.com/jfuica/bingada

Bingo application in GTKAda

ada gnat gtkada

Last synced: 14 Mar 2025

https://github.com/lucretia/jni

Ada bindings to the Java 11 Native Interface API.

ada ada2012 binding-for-java bindings gnat java java-native-interface java11 jni

Last synced: 10 Apr 2025

https://github.com/Alex-Gamper/Ada-NetFramework

Ada bindings to the Microsoft NetFramework Api

ada ada-netframework gcc gnat netframework

Last synced: 14 Mar 2025

https://github.com/Alex-Gamper/Ada-Win32

Ada bindings for the Microsoft Win32 Api

ada gcc gnat win32

Last synced: 14 Mar 2025

https://github.com/tomekw/ada-gnat

Docker: Ubuntu with GNAT installed

ada docker docker-image gnat

Last synced: 22 Feb 2025

https://github.com/nsailor/spaceada

A small subset of Ada targeting embedded systems.

ada compiler embedded gnat gnatprove llvm parser rust

Last synced: 28 Mar 2025

https://github.com/lucretia/lispy

An implementation of a Lisp from Build your own Lisp written in Ada 2012.

ada ada-port ada2012 gnat lisp mpc port tutorial tutorial-exercises tutorial-sourcecode tutorials

Last synced: 17 Feb 2025

https://github.com/ardeshirv/helloada

HelloAda is very simple application that is written in Ada programming language

ada ardeshirv gnat

Last synced: 06 Mar 2025

https://github.com/jeremygrosser/pico_doc

Documentation for Ada on the Raspberry Pi Pico

ada arm bsp documentation gnat pico raspberry-pi rp2040

Last synced: 17 Nov 2024

https://github.com/jeremygrosser/the_grid

A game demo for the Pimoroni Picosystem

ada alire game gnat picosystem pimoroni rp2040

Last synced: 12 Mar 2025

https://github.com/lucretia/net_time

This is an Ada 2012 library that implements the internet time protocol RFC-3339

ada ada2012 gnat internet net-time protocol rfc-3339 rfc3339

Last synced: 17 Feb 2025

https://github.com/sushyk/trafficcontrolsystem

A simplified Traffic Control System

ada gnat verification

Last synced: 15 Mar 2025