Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
#

spark-ada

Here are 14 public repositories matching this topic...

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

  • UpdatedFeb 7, 2025

An attempt at a minimalistic and secure operating system.

  • UpdatedMay 28, 2021
  • Ada
spatSaatana

A cryptographic framework, proven for correctness in SPARK

  • UpdatedDec 16, 2024
  • Ada

Minimalist cooperative operating system supporting multiple tasks with MMU protection

  • UpdatedAug 6, 2021
  • C

FLAC audio encoder/decoder in SPARK/Ada

  • UpdatedJul 3, 2020
  • Ada

Basic spark ada 2012 Compiler

  • UpdatedDec 26, 2019
  • C

Convert GNATprove report files to an XLS spreadsheet

  • UpdatedMar 30, 2017
  • Python

An attempt to verify functions from Curve25519 implementation in SPARK2014

  • UpdatedJun 4, 2019
  • Ada

Custom search engine for the Ada programming language

  • UpdatedAug 2, 2024
  • HTML

The BLAKE2s hash function for SPARK83 [Ada (1987)]

  • UpdatedOct 12, 2021
  • Ada

Formally verified implementation of the CoAP protocol in SPARK/Ada

  • UpdatedMar 17, 2025
  • Ada

Improve this page

Add a description, image, and links to thespark-ada topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thespark-ada topic, visit your repo's landing page and select "manage topics."

Learn more

[8]ページ先頭
©2009-2025 Movatter.jp