damaki

damaki's Stars

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.2k1942052

• AdaCore/ada_language_server

  Server implementing the Microsoft Language Protocol for Ada and SPARK

  Language:Ada2503522862

• Neotron-Compute/Neotron-Pico

  A Neotron powered by the Raspberry Pi Pico

  Language:Python2171310320

• alire-project/alire-index

  Community index for the Alire project

  60100103

• cbiffle/rp2040-rustboot

  RP2040 bootloader in Rust

  Language:Rust43401

• JeremyGrosser/rp2040_hal

  Ada drivers for the Raspberry Pi RP2040 SoC

  Language:Ada4263812

• alire-project/GNAT-FSF-builds

  Builds of the GNAT Ada compiler from FSF GCC releases

  Language:Python3973015

• jgrivera67/HiRTOS

  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

  Language:Ada37942

• JeremyGrosser/pico_examples

  Ada examples for the Raspberry Pi Pico

  Language:Ada356110

• damaki/libkeccak

  SHA-3 and other Keccak related algorithms in SPARK/Ada.

  Language:Ada34683

• alire-project/ada_spark_workflow

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

  Language:Ada33846

• ellamosi/libgade

  A GameBoy emulation library in Ada

  Language:Ada264131

• annexi-strayline/AURA

  The AURA Reference Implementation

  Language:Ada225250

• JeremyGrosser/pico_bsp

  Ada BSP for the Raspberry Pi Pico

  Language:Ada22629

• 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

• AdaCore/Ada-SPARK-Crate-Of-The-Year

  1934222

• awslabs/LibMLKEM

  Language:Ada18522

• Fabien-Chouteau/qoi-spark

  “Quite OK Image” Ada implementation

  Language:Ada15323

• jklmnn/gpr-rust

  Rust binding for gpr

  Language:Rust15242

• Fabien-Chouteau/bbqueue-spark

  An Ada implementation of James Munns' BBQueue

  Language:Ada11405

• mhatzl/spark_unbound

  Unbound data structures in Ada-Spark.

  Language:Ada11240

• JeremyGrosser/rp

  Ada on RP2040 proof of concept

  Language:Ada841

• AdaCore/templates-parser

  AWS templates engine.

  Language:Ada730917

• onox/emojis

  An Ada 2012 library to replace names between colons with emojis

  Language:Ada7110

• Fabien-Chouteau/lpc_synth

  Ada implementation of Linear Predictive Coding voice synthesizer

  Language:Ada550

• Jellix/mars_mpl

  Mars Polar Lander Simulation

  Language:Ada4200

• Fabien-Chouteau/MIDI_signal_flow

  Graph based routing and modification of MIDI messages

  Language:Ada241

• godunko/light-startup

  Light GNAT Runtime startup files and linker scripts

  Language:Ada2101

• AdaCore/spark_translator

  SPARK 2005 to 2014 translator

  Language:Python13403

• Fabien-Chouteau/nrf5x-hal

  Ada drivers and HAL implementation for the Nordic nrf5x micro-controller family

  Language:Ada1201