A cryptographic framework, proven for correctness in SPARK
-
Updated
Jul 9, 2024 - Ada
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract, strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC) as ISO/IEC 8652:2012.
A cryptographic framework, proven for correctness in SPARK
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada bindings to the Nuklear UI library.
Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one below.
Ada 2022 bindings to SDL 2
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
This repository is where problems solved on the Baekjoon Online Judge site are uploaded.
Phoenix Hexapod Experiments
GWindows: GUI framework for MS Windows
The ledger implementation and specifications of the Cardano blockchain.
Algorithms for error-checking
Introducing Project Zephyrine: Elevating Your Interaction Plug and Play, and Employing GPU Acceleration within a Modernized Automata Local Graphical User Interface.
A collection of Generic Ada packages for basic numerical analysis
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.