ada-lox
pouetpouet-board
| ada-lox | pouetpouet-board | |
|---|---|---|
| 4 | 4 | |
| - | 22 | |
| - | - | |
| - | 0.0 | |
| - | over 1 year ago | |
| Rust | ||
| - | MIT 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
pouetpouet-board
- usb_embedded + RP2040
-
August 2022 What Are You Working On?
Still working on my mechanical keyboard firmware. It's nearly working correctly with layer support. Still need to debug some minor glitches.
-
July 2022 What Are You Working On?
Finally got to work again on my Ada firmware (after being on-and-off for several months) for my custom built mechanical keyboard, I've finally reached a state where I can focus on features more than debugging low-level USB issues (first time looking deep into USB and got to write the driver for stm32f072).
-
May 2022 What Are You Working On?
I'm writing a firmware in pure Ada for my custom keyboard (https://github.com/dkm/pouetpouet-board). First step is to port existing HAL-implem/Drivers from Ada_Driver_Library to stm32f0, which is already in looking good: GPIO, UART and USB (enumeration is working, that's a good step) are in good shape. Then I'll probably have to read a bit more how other keyboard firmware are really working under the hood.
What are some alternatives?
Ada_GUI - An Ada-oriented GUI
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
garlic - GNAT Library for Ada Distributed Environment (garlic)
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
usb_embedded - An Ada USB stack for embedded devices
Ada-Lisp - Tiny Lisp Interpreter Written in Ada
Pico-PIO-USB - USB host/device implementation using PIO of raspberry pi pico (RP2040).
drivers - An assortment of drivers
alire - Command-line tool from the Alire project and supporting library
spark2014 - SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Thematics - Sharing Ada programming thematics - notably about common Ada libraries