Atsam4-hal Alternatives

Similar projects and alternatives to atsam4-hal

• tauri

  469 77,375 9.8 Rust atsam4-hal VS tauri

  Build smaller, faster, and more secure desktop applications with a web frontend.

  

• CppCoreGuidelines

  306 41,497 7.6 Python atsam4-hal VS CppCoreGuidelines

  The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

  

• 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.

  

• coq

  87 4,602 10.0 OCaml atsam4-hal VS coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

• Corinna

  42 153 6.4 Perl atsam4-hal VS Corinna

  Corinna - Bring Modern OO to the Core of Perl

  

• tlaplus

  38 2,208 9.1 Java atsam4-hal VS tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  

• not-yet-awesome-embedded-rust

  5 114 0.0 atsam4-hal VS not-yet-awesome-embedded-rust

  A collection of items that are not yet awesome in Embedded Rust

  

• stm32f1xx-hal

  1 527 5.3 Rust atsam4-hal VS stm32f1xx-hal

  A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal (by stm32-rs)

  

• 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.