ironsides

ironsides.martincarlisle.comsite

Authoritative DNS server verified by SPARK/Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   discord-ada discord.gg

   Ada Discord server.

   site link ↗
   site
2. ▲

   adare-net gitlab.com

   This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too.

   site link ↗
   
3. ▲

   libera-chat-ada libera.chat

   Ada channel at IRC.

   site link ↗
   site
4. ▲

   whois github.com

   Self-hosted WHOIS/RDAP query service and MCP server for domains, IPv4/IPv6 addresses, CIDRs and ASNs.

   tool link ↗
   
5. ▲

   ada-intl gitlab.com

   NLS thin Ada binding (gettext (3), textdomain (3), bindtextdomain (3)).

   site link ↗
   
6. ▲

   ada-lang-io ada-lang.io

   A community site for Ada.

   site topic programming link ↗
   site

Ada/SPARK › Applications > Web: “Authoritative DNS server verified by SPARK/Ada.”