ada-lox
distributing-gcc
ada-lox | distributing-gcc | |
---|---|---|
4 | 20 | |
- | 33 | |
- | - | |
- | 4.7 | |
- | 5 days ago | |
Makefile | ||
- | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ada-lox
-
Feedback on implementation needed: a type for dynamically typed values
value.ads
-
May 2022 What Are You Working On?
More progress on a Lox interpreter (Crafting Interpreters book) in Ada. Evaluation is now in place, which was a really cool milestone to pass. Variable declaration and assignment are also coming along nicely. https://gitlab.com/henrikenggaard/ada-lox
-
Crafting Interpreters
I have been reading it and implementing the interpreter in Ada to learn about both interpreters and Ada better. It is a wonderful way to learn, since I constantly have to go beyond the surface level. What is the purpose of this and that in the interpreter? How do I model/implement this well in Ada.
If you are curious about language, I can only recommend trying to learn a new one while following this book.
https://gitlab.com/henrikenggaard/ada-lox
-
March 2022 What Are You Working On?
The code and work log is here: https://gitlab.com/henrikenggaard/ada-lox
distributing-gcc
-
June 2023 What Are You Working On?
GCC 13.1.0 for aarch64-apple-darwin21, both native and cross-compiling to arm-eabi. Had to make a second release of both, because libgmp.dylib had a very unhelpful runpath setting.
- GCC 13.1.0 releases for Apple silicon
- MacOS GCC 13.1.0 (aarch64)
- Release GCC 13.1.0 (aarch64)
-
May 2023 What Are You Working On?
Libadalang2xml now in Alire. NB, if you’re on macOS, you’ll need one of the packages I’ve been building; alr/macOS can’t build langkit, libadalang.
-
macOS GCC 13.1.0 (x86_64)
Yes: see here.
-
What are does the hobbyist programmer miss comparing the paid versus free Ada ecosystem?
This is why, when considering whether to build & release a nn.2.0 macOS version, I’ll only do so if there’s a good reason: for example, GCC 12.1.0 couldn’t compile C source on macOS Ventura (version 13).
-
December 2022 What Are You Working On?
Over at Github, I’ve released GCC 12.2.0 for macOS: x86_64 for Intel Macs, aarch64 for Apple silicon. I have an arm-eabi build too, must get round to releasing it.
-
[ANN] XNAdaLib 2022 and GNATStudio 23.0wb for macOS Monterey.
XNAdaLib is a large set of ready to use Ada libraries prebuilt with GNAT FSF 12.1 for macOS.
-
Ada on apple silicon
For the next few years you’ll be able to run x86_64 binaries on Apple silicon. I produced an aarch64 package based on GCC 12.1.0, see here, but (a) GCC 12.1 won’t compile C code on Ventura, (b) if you want an ecosystem try Alire whose default toolset includes a GCC 12.2-based compiler, albeit x86_64!
What are some alternatives?
Ada_GUI - An Ada-oriented GUI
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [May 2024]
Ada-Lisp - Tiny Lisp Interpreter Written in Ada
alire - Command-line tool from the Alire project and supporting library
pouetpouet-board - DIY ortholinear keyboard with pure Rust or Ada firmware
ACATS - The Ada Conformity Assessment Test Suite, customised for GCC.
drivers - An assortment of drivers
GNAT-FSF-builds - Builds of the GNAT Ada compiler from FSF GCC releases
spark2014 - SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
septum - Context-based code search tool