Open
Dart-lang
1
#
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 560 public repositories matching this topic...
A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Jun 20, 2022
SebastienGllmt
commented
Nov 10, 2019
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.
Cross-Platform GUI Toolkit (stable)
c
windows
macos
linux
gui
opengl
cross-platform
interface
toolkit
portable
sdl
perl
xorg
gui-toolkit
x11
bsd
gui-framework
ada
gui-library
gui-components
-
Updated
Feb 6, 2022 - C
Id Software's Id-tech-4-BFG in the Ada programming language.
-
Updated
Feb 3, 2021 - Ada
The ledger implementation and specifications of the Cardano blockchain.
-
Updated
Jun 28, 2022 - Haskell
Command-line tool from the Alire project and supporting library
-
Updated
Jun 25, 2022 - Ada
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
-
Updated
Jul 2, 2021 - Ada
Formal message specification and generation of verifiable binary parsers and message generators
-
Updated
Jun 28, 2022 - Ada
Ada Web Application - Framework to build high performance secure web applications
-
Updated
Jun 25, 2022 - Ada
Ada Bare Bones OS development tutorial source code
tutorial
osdev
port
ada
bare-metal
baremetal
tutorial-exercises
tutorial-sourcecode
bare-bones
bare-bones-tutorial
-
Updated
Nov 20, 2016 - Ada
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
-
Updated
Jun 28, 2022 - Ada
A secure and high performances microkernel for building secure MCU-based IoTs
security
arm
microcontroller
embedded
spark
ada
microkernel
armv7m
ewok
microcontroller-firmware
ewok-kernel
-
Updated
May 27, 2021 - Ada
Awesome resources and other links related to the Ada programming language
-
Updated
Jun 25, 2020
A re-implementation of the Cardano ledger layer, replacing the Byron release
-
Updated
May 19, 2020 - Haskell
Bourne shell, template engine, scripting language mission-critical, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 120.000 lines of code.
mysql
shell
security
postgresql
elegant
interpreted-programming-language
ada
reliable
strongly-typed
side-effects
safety-critical
agile-integration
-
Updated
Apr 23, 2022 - Ada
Operating System development experiment in Ada
-
Updated
Dec 15, 2020 - Ada
Ada WASM Runtime and Bindings for Web API
-
Updated
Jun 5, 2022 - Ada
- Wikipedia
- Wikipedia
Language request for Dart.