spanners

spanners's Stars

• joakim-strandberg/aida_2012

  Language:Ada151

• ohenley/awesome-ada

  A curated list of awesome resources related to the Ada and SPARK programming language

  66372

• reznikmm/esp32-gnat-rts

  This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

  Language:Ada173

• onox/json-ada

  An Ada 2012 library for parsing JSON

  Language:Ada403

• ada-actions/toolchain

  GitHub action to setup an Ada/SPARK dev environment

  Language:JavaScript205

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.9k14.6k

• Xmgplays/adaspark

  2

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix7.4k1.9k

• AdaCore/spat

  SPARK Proof Analysis Tool

  1

• Adalog-fr/Adacontrol

  An Ada controller for static analysis and rules checking

  Language:Ada16

• Alex-Gamper/Ada-Grammar

  Ada grammar (2012)

  Language:ANTLR5

• rod-chapman/SPARKNaCl

  SPARK 2014 re-implementation of the TweetNaCl crypto library

  Language:Ada11610

• AdaCore/RecordFlux

  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

  Language:Ada1098

• embecosm/riscv-toolchain

  Language:Shell103

• gmarkall/lockbox

  Language:C11

• AdaCore/ada-spark-rfcs

  Platform to submit RFCs for the Ada & SPARK languages

  6428

• AdaCore/spark2014

  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

  Language:Ada25334