Beast code in Giters

Alexander Senier's repositories

cobrafuzz

Coverage guided fuzz testing for cobra^H^H^H^H^Hpython

Language:PythonApache-2.04030

dicelist

Generate memorable Diceware word list from text corpora

Language:Python200

kqpr

:white_square_button: QR codes for KeePass databases

Language:RustApache-2.02 10

rflx_sniffer

IP sniffer demo implemented in SPARK/Ada using RecordFlux

Language:Ada2 20

cpusage

CPU utilization extension for VisualStudio Code

Language:TypeScriptApache-2.01 10

feeds2pdf

Convert RSS/Atom feeds into a single e-paper compatible PDF

Language:Python1 10

field_extract

Language:Ada1 30

trojan_source

Language:Ada1 10

ddcproxy

Language:C020

ada-runtime

Language:AdaAGPL-3.0010

awesome-ada

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

000

ContextStateChart

Language:Ada02 12

GPCrawl

Language:Python010

gpu_kernel

Language:C++010

otr-test

Test client for the OTR reference implementation

Language:C010

PIN_FSM

Language:Ada010

PrettyCat

Language:Python020

PrettyCat_Graal

Language:Java010

producer_consumer_test

Language:Ada010

rflx_asn1_der

Language:Python010

spark_mixins_experiment

Language:Ada010

spawn

Language:AdaNOASSERTION000

tls-parser

Language:Ada010

valens

An app for tracking your health and training progress.

Language:RustAGPL-3.0007