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.
Here are 375 public repositories matching this topic...
-
Updated
Jun 26, 2020
-
Updated
Apr 22, 2019 - Ada
-
Updated
Jun 9, 2020 - C
-
Updated
Jul 1, 2019 - Ada
We can get the browser version from the user agent string (see userAgentInfo.js. Currently Yoroi only works on the versions mentioned in Emurgo/yoroi-frontend#862
We should probably have the app refuse to load on old browser versions instead of failing the first time web assembly is used.
Alire book
To better organize our documentation we may want something similar to the Cargo book, that can be imported into the website and referenced from alr
- Prepare index
- Check jekyll facilities
Notes: stored in the same alr repo so documentation matches alr releases.
-
Updated
Nov 20, 2016 - Ada
-
Updated
Jun 25, 2020
In the SDL_GL_BindTexture) section, this function returns two floating point values, why are they floats instead of ints? In the source these can be 0.0, 1.0 or the texture dimensions. In the examples they are multiplied by texture coords.
- Should the binding reflect this?
- Move the function to
SDL.Video.Textures.GLpackage to refle
-
Updated
Jun 2, 2020 - Ada
-
Updated
Jun 21, 2020 - Ada
-
Updated
May 19, 2020 - Haskell
When building the IP sniffer test, I forgot to run Verify_Message before checking Structural_Valid_Message. While this was not a correctness issue (the context of cause was invalid), it took me some time to realize that. I wonder if we should add a predicate to those convenience operations that work on a whole message that states/requires that a verification has been attempted on a context. Th
NixOS module
The section "Display of Stake Pools in the Wallet" (currently 5.2) was written before the incentives part of the document was finished. We should review this section, to make sure everything covered therein is covered in the section on incentives, and then just reference that section instead of duplicating information.
- Buffers
- Programs
- Textures
- Framebuffers
Debug rendering:
- Bounding boxes
- Coordinate axes
- Lines
- Spheres
-
Updated
Jun 27, 2020 - Ada
-
Updated
Jun 26, 2020 - Haskell
-
Updated
Aug 22, 2019 - Ada
-
Updated
Jun 9, 2020 - Ada
- Wikipedia
- Wikipedia
Language request for Dart.