Code quality for hobby projects

• radatracer

  4 - -

Ensuring I build the project with a deterministic set of dependencies by using Alire instead of my OS' package manager.

• dockertronics

  2 - -

Building and passing the tests in a pipeline (CI/CD), including writing a Docker image capable of building Ada projects with GNAT, GPRBuild and Alire.

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

  

• gnatcoverage

  1 33 9.7 Ada

  GNATcoverage: Coverage Analysis Tool

  

Implementing code coverage with gcov or GNATcoverage to get to the actual metrics and slap them in the README.md (but with FSF GNAT).

• spark2014

  4 237 9.9 Ada

  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

  

"Proving" the correctness of the source code with GNATprove (SPARK) - with FSF GNAT. And preferably on the pipeline - Continuous Proving :)

• radatracer

  1 1 0.0 Ada

  Mirror of https://gitlab.com/1ma/radatracer (by 1ma)

Ok, maybe "strictest" was a bit of an overstatement. I'm using all the flags included in the default GPR file when you create a fresh project with Alire (`alr init --bin foo_project`), they are these.

• SaaSHub

  www.saashub.com featured

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

  

Suggest a related project