We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
We've verified that the organization HeisenbugLtd controls the domains:
A cryptographic framework, proven for correctness in SPARK
Ada 12
Utility library to pretty print physical values in proper metric units
Ada 8 3
SPARK Proof Analysis Tool
Ada 15 4
Dmitry A. Kazakov's Ada Industrial Control Widget Library
Organization Page Repository
FLAC audio encoder/decoder in SPARK/Ada
Community index for the Alire project
Shared, anonymous mailbox communication between tasks
Old shit from the attic. A cache simulator. Most notable feature: It uses "goto" (one).
Ada interface to openweathermap API
Loading…