3 results for tags
Ada x
-
SPARKNaCl - Two Years of Optimizing Crypto Code in SPARK (and counting)
Fri Sep 15 13:27:49 2023 - permalink -- https://blog.adacore.com/sparknacl-two-years-of-optimizing-crypto-code-in-spark-and-counting
-
Hacking the Linux Kernel in Ada – Part 1
First of a three-part series about programming Linux kernel modules in Ada.Fri Sep 15 13:27:02 2023 - permalink -
Found on https://www.linux.com/training-tutorials/five-best-open-source-calendar-servers-linux/- https://www.linux.com/audience/developers/hacking-the-linux-kernel-in-ada-part-1/
-
Cowgol 2.0: Ada-inspired language for very small systems
Main page is http://cowlark.com/cowgol/Tue Feb 23 14:45:29 2021 - permalink -
It used to support the Apollo Guidance Computer used in the Apollo spacecraft, but I had to remove the code generator while rewriting the compiler and I haven’t reworked the AGC backend.
http://cowlark.com/2019-07-20-cowgol-agc/index.html
The author also ported the Fuzix operating system to the Raspberry π pico.
http://cowlark.com/2021-02-16-fuzix-pi-pico/index.html
His tool https://github.com/davidgiven/narcissus to remap keys might be interesting too.
So is his Forth system http://cowlark.com/fforth/- http://cowlark.com/2020-06-25-cowgol-2-0/index.html