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/tim-w-james/routing-calculator
Brute force algorithm for finding the shortest paths between different router topologies - part of a Uni assignment
Last synced: 05 Nov 2024
https://github.com/tim-w-james/ada-reference-code
Useful reference code for using Ada for concurrent operations
Last synced: 05 Nov 2024
https://github.com/mgrojo/asnip
ASnip reads snippets of Ada source text, correct or incorrect, and produces output suitable for printing, viewing, or including.
Last synced: 27 Oct 2024
https://github.com/amtins/returnator-adventures
🤑 Monthly crypto-currency returns based on historical data provided by Binance API.
ada ava binance bitcoin cryptocurrency doge ethereum xrp
Last synced: 12 Nov 2024
https://github.com/spxzzo/coincashew
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
ada blockchain cardano crypto cryptocurrency eth ethereum ethpillar fullnode homestaker node solostaking stakepool staking validator
Last synced: 13 Nov 2024
https://github.com/jklmnn/wiringPi-Ada
Ada bindings for wiringPi
ada raspberry-pi raspberrypi wiring-pi wiringpi wiringpi-library
Last synced: 26 Oct 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/Lucretia/ada-utilities
VSCode extension for Ada.
ada vscode vscode-extension vscode-plugin
Last synced: 25 Oct 2024
https://github.com/ndf-web-dev/code-refactor
Code refactoring website project.
a11y accessibility ada css documentation html refactoring refactoring-exercise seo
Last synced: 08 Nov 2024
