James Web Space Telescope runs on C++ code.

• not-yet-awesome-embedded-rust

  5 117 3.6

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

  

See Not Yet Awesome Embedded Rust for some ongoing work to build out the ecosystem, it's not ready yet. (this is a play on various "Awesome XYZ Rust" lists that have resources for different topics)

• Corinna

  42 153 6.4 Perl

  Corinna - Bring Modern OO to the Core of Perl

  

Then you'll be happy to know that I've submitted an RFC to the core Perl team to introduce a modern OO model to the language. So far the response has been positive and we already have /u/leonerduk who's committed himself to implement it.

• InfluxDB

  www.influxdata.com featured

  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.

  

• CppCoreGuidelines

  307 41,562 7.6 Python

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

  

ISO C++ Core Guidelines

• tauri

  470 77,588 9.8 Rust

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

  

An alternative that seems promising though is using the platform's webview, although this has its own issues IME; https://github.com/tauri-apps/tauri is the most developed example of this I think, either that or maybe Microsoft's Blazor Desktop thing which afaik uses the platform's webview. Those are for Rust and C#/F# respectively though, I'm not sure how things are for C++.

• tlaplus

  38 2,210 9.1 Java

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

  

Did you/they use Cog, TLA+ or similar for the validation process?

• coq

  87 4,616 10.0 OCaml

  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.

  

Did you/they use Cog, TLA+ or similar for the validation process?

• atsam4-hal

  1 5 4.8 Rust
  

Sorry to hear you ran into some issues, which specific ATMEL chip was it? It appears there are already HALs for ATMEL see here: https://github.com/atsam-rs/atsam4-hal

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project