HeisenbugLtd/aicwl HeisenbugLtd/aicwl

  • Stars
    star
    2
  • Language
    Ada
  • License
    GNU General Publi...
  • Created about 4 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HeisenbugLtd/aicwl
github

HeisenbugLtd

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Dmitry A. Kazakov's Ada Industrial Control Widget Library

More Repositories

1

spat

SPARK Proof Analysis Tool
Ada
15
star
2

Saatana

A cryptographic framework, proven for correctness in SPARK
Ada
13
star
3

si_units

Utility library to pretty print physical values in proper metric units
Ada
8
star
4

flac-ada

FLAC audio encoder/decoder in SPARK/Ada
Ada
6
star
5

open_weather_map_api

Ada interface to openweathermap API
Ada
1
star