A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Repository Index
47,133 repositories indexed
169–192 of 207 · Most stars
SparkPost client library for Elixir https://developers.sparkpost.com
- elixir
- sparkpost
Simple yet powerful live data computation framework.
- react
- javascript
- typescript
- event-stream
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
A bundle to catch API webhook from different mail service
- webhook
- webhooks-catcher
- mailjet
- bounce
An attempt at a minimalistic and secure operating system.
The repository host gives no description.
Sparkline Charts for Blazor using Fonts
- webassembly
- blazor
- sparkline
Various examples of notebooks for working with web archives with the Archives Unleashed Toolkit, and derivatives generated by the Archives Unleashed Toolkit.
- notebooks
- pyspark-notebook
- juypter-notebook
- spark
GitHub action to setup an Ada/SPARK dev environment
A Delphi wrapper for WinSparkle
Modular Macro-powered Particle System for haxe
- particles
- particle-system
- modular
- haxe
Internet Archive's Sparkling Data Processing Library
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
:sparkles: A curated walkthrough to start your journey as a blockchain developer and become an Algorand Pro 0️⃣ -> 🦸🏼♂️
ada privilege escalation
Honeypot that mimics Tomcat manager endpoints. Logs requests and saves attacker's WAR file for later study
- honeypot
- spring-boot
- tomcat
MicroPython compatible implementation of the Eclipse Sparkplug B Specification
An open-source toolkit for analyzing line-oriented JSON Twitter archives with Apache Spark.
- spark
- tweets
- twitter-data
- twitter-json
A Splitable Hadoop InputFormat for Concatenated GZIP Files and *.(w)arc.gz
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada