andrew-shvets

andrew-shvets's Stars

• dwyl/english-words

  :memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

  Language:Python10.6k1.8k

• AdaCore/svd2ada

  An Ada binding generator from SVD descriptions for bare board ARM devices.

  Language:Ada6436

• docandrew/CuBit

  General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

  Language:Ada784

• ohenley/awesome-ada

  A curated list of awesome resources related to the Ada and SPARK programming language

  64070