-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by simonjwright)
-
Honki-Tonks-Zivilisationen
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
-
gcc-darwin-arm64
GCC master branch for Darwin with experimental support for Arm64. Currently GCC-15.0.0 [April 2024]
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
I've been 3D printing quite a bit lately, which has me wondering what kind of particulate emissions the printer generates. I wrote a driver for the PMS7003 laser particulate sensor and got PLplot's Ada bindings building with Alire for generating fancy charts from the data I collect. I'm working on a driver for the nRF24L01+ 2.4 GHz radio chip so that I can setup sensors in places where wiring is difficult.
I've been 3D printing quite a bit lately, which has me wondering what kind of particulate emissions the printer generates. I wrote a driver for the PMS7003 laser particulate sensor and got PLplot's Ada bindings building with Alire for generating fancy charts from the data I collect. I'm working on a driver for the nRF24L01+ 2.4 GHz radio chip so that I can setup sensors in places where wiring is difficult.
Installed ObjectAda 10.3. The PragmAda Reusable Components now compile unchanged with both GNAT 11.2.0 and ObjectAda 10.3.
Added additional dialogs to Ada GUI.
Got Lined to SPARK level Bronze, though I haven't figured out how to get it to check the main-program procedure, so this isn't very meaningful.
Added some features and revised the informal description of King, and worked with @Blady-com on early steps towards a KRM.
SPARK2014, macOS: I’ve built branch fsf against GCC 12.0.1 of 20220204 (discussion, compiler, spark2014).
SPARK2014, macOS: I’ve built branch fsf against GCC 12.0.1 of 20220204 (discussion, compiler, spark2014).
As always, I was working on my Civilization like game. In the meantime I have created and integrated my first own textures, even if they still look quite modest, and the scaling system for textures now works correctly. I've also reworked the system for determining valid map positions and transitions, it's now faster, clearer and more compact. Plus the usual stuff like fixing a bunch of bugs, adding/revising contracts, merging duplicated code, and generally improving program stopping and error reporting.
This release will run on M1 using the Rosetta code translation. Work is in hand to build a native compiler, looking good I think.
I split the CPU simulations out of my Raspberry Pi Simulated Mainframe to provide more flexibility in their use. The CPU simulations are now in Sim CPU. In addition to the simple simulator that just blinks the lights in interesting ways, I have an 8080 simulator (and some simulated devices) more or less working. I am hoping to actually be able to boot CP/M on it before too long.
I split the CPU simulations out of my Raspberry Pi Simulated Mainframe to provide more flexibility in their use. The CPU simulations are now in Sim CPU. In addition to the simple simulator that just blinks the lights in interesting ways, I have an 8080 simulator (and some simulated devices) more or less working. I am hoping to actually be able to boot CP/M on it before too long.
Wanted to experiment with some TUI code and came up with this terminal browser for the Gemini protocol: https://github.com/docandrew/gembrowse
The code and work log is here: https://gitlab.com/henrikenggaard/ada-lox