Ada Posts

Latest Ada related posts with mentions of open-source projects
  • Benchmarking Crimes Meet Formal Verification

    1 project | news.ycombinator.com | about 1 month ago
  • Is this the simplest (and most surprising) sorting algorithm ever? (2021)

    1 project | news.ycombinator.com | 4 months ago
  • A new math library for Ada: Neo.SIMD

    1 project | news.ycombinator.com | 4 months ago
  • NASA has a list of 10 rules for software development

    3 projects | news.ycombinator.com | 4 months ago
  • Nvidia Security Team: "What if we just stopped using C?" (2022)

    5 projects | news.ycombinator.com | 4 months ago
  • SPARKNaCl: A verified, fast re-implementation of TweetNaCl [pdf] [video]

    1 project | news.ycombinator.com | 5 months ago
  • My dream way of testing

    1 project | dev.to | 5 months ago
  • Ada's Dependent Types, and Its Types as a Whole

    2 projects | news.ycombinator.com | 6 months ago
  • Show HN: A 5th order motion planner with PH spline blending, written in Ada

    6 projects | news.ycombinator.com | 7 months ago
  • Ada Programing language binding to WebUI library

    1 project | news.ycombinator.com | 8 months ago
  • A Comparison of Ada and Rust, Using Solutions to the Advent of Code

    1 project | news.ycombinator.com | 9 months ago
  • Show HN: Getada: rustup-like installer for Ada's toolchain/package manager

    8 projects | news.ycombinator.com | about 1 year ago
  • Eepers – turn based game in ADA (Tsoding)

    1 project | news.ycombinator.com | about 1 year ago
  • "No way to prevent this" say users of only language where this regularly happens

    1 project | news.ycombinator.com | over 1 year ago
  • Alire 2.0 Released

    1 project | news.ycombinator.com | over 1 year ago
  • Ada 95: The Craft of Object-Oriented Programming

    2 projects | news.ycombinator.com | over 1 year ago
  • Using GNATTest with Alire and GNATStudio

    1 project | /r/ada | over 1 year ago
  • Adamant is out

    1 project | /r/ada | over 1 year ago
  • Adamant – An Embedded Software Framework

    1 project | news.ycombinator.com | over 1 year ago
  • November 2023 What Are You Working On?

    1 project | /r/ada | over 1 year ago
  • ASFML v2.5.5 (Ada binding to SFML) has been released with an upgrade to CSFML 2.5.2 and improved API documentation

    1 project | /r/sfml | over 1 year ago
  • Writing Linux Modules in Ada – Part 1

    1 project | news.ycombinator.com | almost 2 years ago
  • Show HN: Cashe: A money library written in Ada

    4 projects | news.ycombinator.com | almost 2 years ago
  • Ada Outperforms Assembly: A Case Study

    1 project | news.ycombinator.com | almost 2 years ago
  • New release of vscode extension For Ada 23.0.20

    1 project | /r/ada | almost 2 years ago
  • Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico

    1 project | /r/ada | about 2 years ago
  • VSCode extension for AArch64 Linux

    2 projects | /r/ada | about 2 years ago
  • June 2023 What Are You Working On?

    5 projects | /r/ada | about 2 years ago
  • New project: Alice

    2 projects | /r/ada | about 2 years ago
  • Unconventional Project: Video Game Inventory Manager in Ada 2022

    1 project | /r/ada | about 2 years ago
  • GNAT Studio Continuous Release 20230501

    1 project | /r/ada | about 2 years ago
  • MACbook M1 - alr, gnat development troubles

    1 project | /r/ada | about 2 years ago
  • The Ada ISO Library 1.0

    1 project | /r/ada | about 2 years ago
  • May 2023 What Are You Working On?

    5 projects | /r/ada | about 2 years ago
  • Looking for feedback: ISO 3166-1 country Country Code Reference for Ada

    3 projects | /r/ada | about 2 years ago
  • gcc error while compiling Ada program

    1 project | /r/ada | about 2 years ago
  • My friend and I created a software to teach kids how to problem solve and create cool projects. We made it incredibly fun, since it's something we wish we had when we were younger.

    1 project | /r/programming | about 2 years ago
  • Ada targeting RPI

    1 project | /r/ada | about 2 years ago
  • [ANN] Release of UXStrings 5.0

    1 project | /r/ada | about 2 years ago
  • How to get the ARM toolchain up and running?

    2 projects | /r/ada | about 2 years ago
  • Themeable 2048 game for the desktop

    1 project | /r/playmygame | about 2 years ago
  • April 2023 What Are You Working On?

    3 projects | /r/ada | about 2 years ago
  • Books to learn Ada generics?

    1 project | /r/ada | about 2 years ago
  • Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?

    2 projects | /r/ada | about 2 years ago
  • New release of vscode extension For Ada 23.0.15

    2 projects | /r/ada | over 2 years ago
  • Alire - inability to install some packages from the repository

    2 projects | /r/ada | over 2 years ago
  • Libadalang

    1 project | /r/ada | over 2 years ago
  • Porting old firmware written in Ada to modern program

    1 project | /r/ada | over 2 years ago
  • March 2023 What Are You Working On?

    4 projects | /r/ada | over 2 years ago
  • ChatGPT's thoughts on Ada?

    1 project | /r/ada | over 2 years ago

Did you know that Ada is
the 83rd most popular programming language
based on number of references?