ada95
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.
Here are 12 public repositories matching this topic...
My program for checking for tautologies and contradictions in Propositional Logic
-
Updated
Oct 17, 2021 - Ada
Identifies suitable ASIS queries by testing them on each ASIS element of a given Ada95 program.
-
Updated
Dec 1, 2018 - Ada
Práctica 2 de la asignatura de Estructura de Dades.
-
Updated
May 3, 2019 - Ada
Dungeons & Dragons 5e Character Creation Tool
-
Updated
Jun 27, 2019 - Ada
X/Open Native Language System (NLS) for Ada
-
Updated
Sep 14, 2021 - Ada
Backus–Naur form analyser implemented in Ada
-
Updated
Oct 24, 2021 - Ada
- Followers
- 78 followers
- Wikipedia
- Wikipedia