A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Repository Index
47,133 repositories indexed
337–344 of 344 · Most stars
Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)
- bytecode
- cfr
- decompilation
- decompiler
Sigma Queries turned into SPL for Splunk Enterprise and Enterprise Security using pysigma - Automated
Advanced eBPF-driven Digital Forensics and Incident Response (DFIR) framework for live Golang malware analysis, threat hunting, and observability.
Package to set up autonomous agents to trade on TBD
- agents
- agents-md
- ai-agents
- autonomous-agents
A pure Ada implementation of the SipHash PRF (mirror repository).
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
Sign-in with Stacks is a library for creating and verifying Sign-In with Stacks messages.