Alternatives and similar repositories for pascal-to-ada

Users that are interested in pascal-to-ada are comparing it to the libraries listed below

• zertovitch / mathpaqs

  View on GitHub
  Mathpaqs: a collection of mathematical packages in pure Ada
  ☆13Feb 6, 2026Updated last week
• rsdoiel / Artemis

  View on GitHub
  Artemis is my project to create portable Oberon-07 modules that can be used in POSIX and Oberon System.
  ☆19Jun 27, 2025Updated 7 months ago
• gerr135 / ada_composition

  View on GitHub
  A collections of small nifty demos/sample code that may help better layout data or structure project
  ☆10Nov 25, 2019Updated 6 years ago
• linkrope / oberon2d

  View on GitHub
  Oberon to D Translator
  ☆10Oct 15, 2019Updated 6 years ago
• jrcarter / PragmARC

  View on GitHub
  The PragmAda Reusable Components
  ☆35Jan 9, 2026Updated last month
• corani / oberon-stdlib

  View on GitHub
  A standard library for Oberon-2
  ☆13Sep 2, 2014Updated 11 years ago
• AJ-Ianozi / Cashe

  View on GitHub
  A Money library for Ada
  ☆23Aug 23, 2023Updated 2 years ago
• onox / json-ada

  View on GitHub
  An Ada 2012 library for parsing JSON
  ☆45Jul 28, 2024Updated last year
• TNO / Rejuvenation-Ada

  View on GitHub
  Analysis and manipulation of Ada software based on concrete syntax
  ☆26Dec 11, 2025Updated 2 months ago
• m2sf / m2bsk

  View on GitHub
  PIM/ISO hosted Modula-2 R10 Bootstrap Kernel
  ☆18Mar 28, 2024Updated last year
• godunko / adawebpack

  View on GitHub
  Ada WASM Runtime and Bindings for Web API
  ☆75Feb 16, 2025Updated 11 months ago
• zertovitch / ada-pdf-writer

  View on GitHub
  Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
  ☆23Feb 3, 2026Updated last week
• annexi-strayline / Curses

  View on GitHub
  Advanced UNIX Terminal UI Ada Binding Package
  ☆17May 1, 2020Updated 5 years ago
• zertovitch / gid

  View on GitHub
  GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
  ☆27Jan 5, 2026Updated last month
• Componolit / gneiss

  View on GitHub
  Framework for platform-independent SPARK components
  ☆24Aug 28, 2020Updated 5 years ago
• dvdagaev / Mob

  View on GitHub
  Multi Oberon Compiler
  ☆43Jul 27, 2021Updated 4 years ago
• redstar / m2-vscode

  View on GitHub
  Modula-2 syntax highlighting for Visual Studio Code
  ☆12Feb 11, 2019Updated 7 years ago
• alex-ilin / oo2c

  View on GitHub
  Optimizing Oberon-2 Compiler
  ☆17Apr 5, 2016Updated 9 years ago
• sgreenhill / aria

  View on GitHub
  Reusable Oberon-2 modules
  ☆12Dec 24, 2025Updated last month
• timurgen / AdventOfAda

  View on GitHub
  AdventOfCode solution written in Ada programming language
  ☆14Jan 3, 2022Updated 4 years ago
• AdaCore / gnatformat

  View on GitHub
  ☆13Feb 4, 2026Updated last week
• m2sf / m2pp

  View on GitHub
  Modula-2 Preprocessor
  ☆12Jun 14, 2021Updated 4 years ago
• alice-adventures / Alice

  View on GitHub
  Adventures for Learning and Inspiring Coding Excellence
  ☆14Aug 24, 2025Updated 5 months ago
• zonnonproject / compiler

  View on GitHub
  Zonnon compiler for .NET (Moved from https://zonnon.codeplex.com/)
  ☆33Jan 30, 2020Updated 6 years ago
• trijezdci / MOTTO

  View on GitHub
  Classic Modula-2 Source to Source Translator
  ☆29May 15, 2023Updated 2 years ago
• Spivoxity / obc-3

  View on GitHub
  Oxford Oberon-2 compiler
  ☆49Feb 8, 2025Updated last year
• trijezdci / m2cc

  View on GitHub
  Modula-2 Core Compiler
  ☆14Jun 8, 2017Updated 8 years ago
• The-Blue-Wizard / PyOberon

  View on GitHub
  PyOberon: A Python-based Oberon 07 Compiler
  ☆13Mar 14, 2016Updated 9 years ago
• AdaCore / gnatcoll-db

  View on GitHub
  GNAT Components Collection – Database packages
  ☆14Nov 28, 2025Updated 2 months ago
• zertovitch / azip

  View on GitHub
  AZip: a free, portable Zip Archive Manager
  ☆14Feb 2, 2026Updated last week
• AdaCore / sparkformal

  View on GitHub
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Apr 6, 2021Updated 4 years ago
• joakim-strandberg / aida_2012

  View on GitHub
  ☆15Feb 17, 2019Updated 6 years ago
• pmderodat / ada-toml

  View on GitHub
  TOML parser for Ada
  ☆36Jul 16, 2025Updated 6 months ago
• krischik / vim-ada

  View on GitHub
  Complete Ada-Mode as Vim-Ball or Tar.bz2
  ☆13Jan 3, 2025Updated last year
• Blunk-electronic / ada_training

  View on GitHub
  Training files for Ada courses
  ☆13Jan 26, 2026Updated 2 weeks ago
• HeisenbugLtd / Saatana

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• ohenley / COVID-19_Simulator

  View on GitHub
  Qt5 COVID-19 simulator. Ada code under the hood. 🤯
  ☆11Oct 29, 2020Updated 5 years ago
• m2sf / m2sharp

  View on GitHub
  Modula-2 to C# Translator and Compiler
  ☆14Jun 5, 2023Updated 2 years ago
• Petewg / harbour-core

  View on GitHub
  Portable, xBase compatible programming language and environment
  ☆18Apr 10, 2025Updated 10 months ago