Ada Python Packages

recordflux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

cardanopy

Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)

quantum-correlations-visualized

Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committee for Physics has banned this program. (Mirrored at https://eprb-signal-correlations.sf.net)

cardanomsg

Store and retrieve text or JSON in the Cardano blockchain metadata.

uada80

An Ada compiler for the Z80 processor and CP/M 2.2. It compiles a subset of Ada 2012 to Z80 assembly language for CP/M .COM files, and it works toward ACATS conformance.