Alternatives and similar repositories for aforth

Users that are interested in aforth are comparing it to the libraries listed below

• karakalo / lumen

  View on GitHub
  OpenGL GUI toolkit library for Ada
  ☆27Feb 15, 2013Updated 13 years ago
• ytomino / drake

  View on GitHub
  Drake: A Runtime Library for gcc-Ada
  ☆43May 2, 2020Updated 5 years ago
• HeisenbugLtd / spat

  View on GitHub
  SPARK Proof Analysis Tool
  ☆17Oct 19, 2020Updated 5 years ago
• stcarrez / ada-keystore

  View on GitHub
  Ada Keystore - protect your sensitive data with secure storage
  ☆36Dec 16, 2025Updated last month
• annexi-strayline / Curses

  View on GitHub
  Advanced UNIX Terminal UI Ada Binding Package
  ☆17May 1, 2020Updated 5 years ago
• 98devin / ada-gba-dev

  View on GitHub
  A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.
  ☆11Jul 24, 2023Updated 2 years ago
• Componolit / gneiss

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

  View on GitHub
  WebAssembly AST Forth
  ☆20Nov 1, 2016Updated 9 years ago
• charlie5 / aShell

  View on GitHub
  A component to aid in writing shell-like applications in Ada.
  ☆16Nov 4, 2025Updated 3 months ago
• HeisenbugLtd / Saatana

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• karakalo / old-lumen

  View on GitHub
  GUI toolkit for Ada using OpenGL
  ☆15Jan 17, 2013Updated 13 years ago
• kburtch / SparForte

  View on GitHub
  Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-…
  ☆50Updated this week
• mschuldt / forth_wizard

  View on GitHub
  Finds optimal code sequences for stack transformations
  ☆26Feb 21, 2019Updated 6 years ago
• charlie5 / lace-prototype-deprecated

  View on GitHub
  A set of Ada components to allow 3D simulations, games and GUI's in Ada.
  ☆14Jan 22, 2022Updated 4 years ago
• pchapin / thumper

  View on GitHub
  A secure timestamp client/server
  ☆23May 16, 2022Updated 3 years ago
• ytomino / headmaster

  View on GitHub
  the translator from C headers to another language (currently, Ada only)
  ☆19Apr 27, 2024Updated last year
• BrentSeidel / Ada-Lisp

  View on GitHub
  Tiny Lisp Interpreter Written in Ada
  ☆31Dec 14, 2025Updated 2 months ago
• mgrojo / ASFML

  View on GitHub
  Ada binding to the SFML library
  ☆40Dec 8, 2025Updated 2 months ago
• persan / zeromq-Ada

  View on GitHub
  Ada-bindings for 0mq
  ☆42Nov 17, 2025Updated 2 months ago
• reznikmm / adalib

  View on GitHub
  Standard Ada library specification as defined in Reference Manual
  ☆24Aug 29, 2021Updated 4 years ago
• yaml / AdaYaml

  View on GitHub
  experimental YAML 1.3 implementation in Ada
  ☆44Jan 20, 2022Updated 4 years ago
• DenisKnauf / presentation.fs

  View on GitHub
  Presentations-software in Forth
  ☆13Dec 3, 2021Updated 4 years ago
• pyjarrett / trendy_test

  View on GitHub
  Ada Unit Testing Library
  ☆10Aug 3, 2025Updated 6 months ago
• ogorodnik / rpb_ada

  View on GitHub
  raspberry ada library
  ☆11Jul 7, 2019Updated 6 years ago
• tmm1 / jssocket

  View on GitHub
  generic javascript socket API
  ☆57Jul 27, 2009Updated 16 years ago
• mhatzl / spark_unbound

  View on GitHub
  Unbound data structures in Ada-Spark.
  ☆13Feb 6, 2022Updated 4 years ago
• linkrope / oberon2d

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

  View on GitHub
  Ada-tailored UML Modeling Language
  ☆11May 14, 2023Updated 2 years ago
• flyx / OpenGLAda

  View on GitHub
  Thick Ada binding for OpenGL and GLFW
  ☆102Sep 8, 2022Updated 3 years ago
• gallais / agdARGS

  View on GitHub
  Dealing with Flags and Options
  ☆13Sep 10, 2021Updated 4 years ago
• sgreenhill / aria

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

  View on GitHub
  (DEPRECATED, SEE README)
  ☆12Aug 16, 2018Updated 7 years ago
• AdaCore / gnatformat

  View on GitHub
  ☆13Feb 4, 2026Updated last week
• dams / perlbrew-mini.el

  View on GitHub
  Perlbrew minimal emacs util
  ☆15Jan 3, 2015Updated 11 years ago
• Forth-Standard / forth-standard

  View on GitHub
  Forth Programming Language Standard
  ☆13Sep 11, 2025Updated 5 months ago
• simonjwright / stack_usage

  View on GitHub
  Calculates the maximum stack depth required by GCC-compiled code
  ☆11Aug 28, 2024Updated last year
• bennaaym / adventure-game-prolog

  View on GitHub
  This project is a basic text-based adventure game. The idea of the game was inspired by Colossal Cave Adventure.
  ☆14Jul 21, 2021Updated 4 years ago
• MockbaTheBorg / MyZ80

  View on GitHub
  Z80 emulator for RunCPM and Labcenter Proteus
  ☆15Oct 19, 2016Updated 9 years ago
• DoctorWkt / smallc

  View on GitHub
  Derivative of Ron Cain's Small C Compiler
  ☆14Aug 1, 2019Updated 6 years ago