Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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.
- GitHub: https://github.com/topics/ada
- Wikipedia: https://en.wikipedia.org/wiki/Ada_%28programming_language%29
- Related Topics: ada-programs, ada-binding, ada-language, spark-ada, spark, gnat, ada-framework, ada-library, gpr, ada-stuff,
- Aliases: ada-2012, ada2012, ada95,
- Last updated: 2024-11-13 00:00:43 UTC
- JSON Representation
https://github.com/mkungla/experiments
Plutus experiments
ada cardano cardano-community plutus
Last synced: 02 Nov 2024
https://github.com/byllgrim/iictl
Control program for ii - Manage server/channel connections
ada cc0 experimental fifo ii irc kiss minimal
Last synced: 08 Nov 2024
https://github.com/canalada-org/Wikilibro_Ada
Código fuente de los ejemplos del wikilibro "Programación en Ada"
Last synced: 23 Oct 2024
