Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for spark ada
ada
x
spark
x
32 search results found
Awesome Ada
⭐
543
A curated list of awesome resources related to the Ada and SPARK programming language
Ada_drivers_library
⭐
218
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Spark By Example
⭐
108
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Recordflux
⭐
100
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Sparknacl
⭐
97
SPARK 2014 re-implementation of the TweetNaCl crypto library
Muen
⭐
73
Official mirror of the Muen Separation Kernel repository
Cubit
⭐
60
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Awesome Ada
⭐
60
Awesome resources and other links related to the Ada programming language
Ewok Kernel
⭐
59
A secure and high performances microkernel for building secure MCU-based IoTs
Cubedos
⭐
41
A flight software framework in SPARK/Ada
Ada Runtime
⭐
31
Libkeccak
⭐
31
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Libsparkcrypto
⭐
22
A cryptographic library in SPARK 2014
Thumper
⭐
20
A secure timestamp client/server
Libgfxinit
⭐
19
mirror of https://review.coreboot.org/libgfxinit.git
Jwx
⭐
14
JSON/JWK/JWS/JWT/Base64 library in SPARK
Saatana
⭐
12
A cryptographic framework, proven for correctness in SPARK
Sxml
⭐
11
Formally verified, bounded-stack XML library
Spat
⭐
10
SPARK Proof Analysis Tool
Bbqueue Spark
⭐
10
An Ada implementation of James Munns' BBQueue
Havk
⭐
10
An attempt at a minimalistic and secure operating system.
Gneiss
⭐
10
Framework for platform-independent SPARK components
Aida_2012
⭐
10
Dw1000
⭐
8
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Basalt
⭐
8
Collection of formally verified building blocks
Stratox
⭐
7
Flight stack for an unmanned fixed-wing weather glider.
Continuous Verification
⭐
6
SPARK formal verification automated with Travis CI
Spark_norx
⭐
6
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Go Spark
⭐
6
Go+Ada SPARK Example
Xoshiro
⭐
6
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators
Ironsides
⭐
5
Fork of the SPARK-based DNS server
Spark Bitcoin Transaction Example
⭐
5
Example of Bitcoin transaction parsing with Ada/SPARK2014
Related Searches
Scala Spark (3,279)
Python Spark (2,053)
Java Spark (1,587)
Apache Spark (1,207)
Spark Hadoop (1,188)
Jupyter Notebook Spark (1,151)
Spark Kafka (985)
Spark Streaming (817)
Spark Pyspark (812)
Algorithms Spark (210)
1-32 of 32 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.