Skip to content
@Adalog-fr

Adalog

Expertise, training and consultancy for the Ada programming language

Popular repositories Loading

  1. Adacontrol Adacontrol Public

    An Ada controller for static analysis and rules checking

    Ada 17

  2. Comps Comps Public

    General purpose components and utilities

    Ada 2 1

  3. Asiscomps Asiscomps Public

    Asis components and utilities

    Ada 1

  4. ada-static-code-analysis-tools-benchmark ada-static-code-analysis-tools-benchmark Public

    For for benchmarking AdaControl and GNATcheck against Cogralys engine, a static code analysis method that rely on graph databases

  5. cogralys-engine cogralys-engine Public

    Core of cogralys, a static analysis tool. This repo only generate a Code Property Graph from Ada AST

    Cypher

Repositories

Showing 5 of 5 repositories
  • Comps Public

    General purpose components and utilities

    Adalog-fr/Comps’s past year of commit activity
    Ada 2 1 0 1 Updated May 24, 2024
  • ada-static-code-analysis-tools-benchmark Public

    For for benchmarking AdaControl and GNATcheck against Cogralys engine, a static code analysis method that rely on graph databases

    Adalog-fr/ada-static-code-analysis-tools-benchmark’s past year of commit activity
    0 0 0 0 Updated Apr 22, 2024
  • cogralys-engine Public

    Core of cogralys, a static analysis tool. This repo only generate a Code Property Graph from Ada AST

    Adalog-fr/cogralys-engine’s past year of commit activity
    Cypher 0 0 0 0 Updated Mar 20, 2024
  • Adacontrol Public

    An Ada controller for static analysis and rules checking

    Adalog-fr/Adacontrol’s past year of commit activity
    Ada 17 GPL-2.0 0 0 1 Updated Mar 4, 2024
  • Asiscomps Public

    Asis components and utilities

    Adalog-fr/Asiscomps’s past year of commit activity
    Ada 1 0 0 0 Updated Sep 4, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…