Skip to content
View RobertBoettcherSF's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
23 followers · 40 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinaire

Block or report RobertBoettcherSF

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
RobertBoettcherSF/README.md

<@}-|-|-- Sternenfisch --|-|-{@>

🎯 2026 Goal — achieved (2026-09-20)

Implementing List of Algorithms in Ada — done / over-achieved by 20 Sep 2026.

Catalog: robertboettchersf.github.io · ~2000+ Ada repos · ~900+ Ada-SPARK-* sheets.

next 🎯 2026 Goal

Put the catalog into thematically structured Repo.

👋 About

Passionate developer exploring algorithms and data structures with a focus on Ada and Ada SPARK.

LLM usage disclosure: AI assistance was used for these projects.

🔧 Current Focus

  • Maintaining and verifying the Ada / SPARK algorithm catalog
  • SPARK Level-2 (and Pareto L3) prove bars on selected sheets
  • Clean-room sims and tooling on-ramps (editors, safety FSMs, neurorobotics cores)
  • Next: deepen verification and applications — not raw algorithm count

📫 Connect

GitHub
Facebook
Catalog

Pinned Loading

  1. RobertBoettcherSF.github.io RobertBoettcherSF.github.io Public

    Activity Log

    1