Search Packages

recordflux

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

cardanopy

Cardano CLI tools for python3

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

Ada compiler targeting Z80 processor and CP/M 2.2 operating system