Wayland-ada Alternatives

Similar projects and alternatives to wayland-ada

• gcc

  81 8,682 9.9 C wayland-ada VS gcc

  

• misra-rust

  8 112 0.0 Rust wayland-ada VS misra-rust

  An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.

  

• InfluxDB

  www.influxdata.com

  sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• creusot

  15 868 9.6 Rust wayland-ada VS creusot

  Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)

  

• rust-verification-tools

  2 241 3.1 Rust wayland-ada VS rust-verification-tools

  Discontinued RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  

• gcc

  7 99 0.0 wayland-ada VS gcc

  Official Ada++ repository (by AdaPlusPlus)

• Welcome

  3 126 1.6 wayland-ada VS Welcome

  Welcome to AeroRust- a Rust 🦀 in Aerospace 🚀 community & working group

  

• orenda

  4 15 1.7 CMake wayland-ada VS orenda

  An experiment in language design and compiler building.

• WorkOS

  workos.com

  sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• rubble

  1 388 4.6 Rust wayland-ada VS rubble

  Discontinued (going to be a) BLE stack for embedded Rust

• sdlada

  6 0 8.4 Ada wayland-ada VS sdlada

  Ada 2022 bindings to SDL 2

• rumble

  1 139 10.0 Rust wayland-ada VS rumble

  Rust Bluetooth Low Energy (BLE) central module library (by mwylde)

• advent_of_code

  5 0 0.0 Ada wayland-ada VS advent_of_code

  This repository contains solutions to Advent of Code challenges (by joakim-strandberg)

• app-template

  2 287 5.5 Rust wayland-ada VS app-template

  Quickly set up a `probe-rs` + `defmt` + `flip-link` embedded project

  

• whycode

  1 18 7.7 OCaml wayland-ada VS whycode