rubble
advent_of_code
rubble | advent_of_code | |
---|---|---|
1 | 5 | |
388 | 0 | |
- | - | |
4.6 | 0.0 | |
almost 2 years ago | over 1 year ago | |
Rust | Ada | |
GNU General Public License v3.0 or later | - |
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.
rubble
-
AdaCore and Ferrous Systems Joining Forces to Support Rust
There's rubble.
https://github.com/jonas-schievink/rubble
We've been approached by multiple parties to finish it and we are up to it, but the final effort, particularly certification is currently prohibitive. Serious inquiries taken, though - we're also happy to play "consortium" in that this does not have to be financed by any single party.
advent_of_code
-
It's a brand new year! January 2023 What Are You Working On?
I've updated the README file of my github repository where I have put solutions to Advent of Code. The README file outlines my thoughts and considerations when writing the code which uses a minimal subset of the full Ada language, uses AdaControl to know the intended subset is used, how memory safety and resource management in general has been done when not taking advantage of SPARK. https://github.com/joakim-strandberg/advent_of_code
-
Outsider's Guide to Ada
I am aware that controlled types are associated with performance penalty although I haven't fully understood why. When I write Ada code I try to avoid using them although sometimes there seem to be no workaround like for example when using Gautier's multi precision integer implementation when doing Advent of Code 2021 (https://github.com/joakim-strandberg/advent_of_code, the "Big_Int_Holder" package in advent_of_code_2021.adb). Return value optimization (RVO) does make me think of extended return and limited types in Ada 2005, although as was discussed in the video that move semantics is more than that. Thanks for bringing up the subject!
-
AdaCore and Ferrous Systems Joining Forces to Support Rust
It's kind of the opposite for me. It takes much less time to understand what Ada-written code is doing compared to any of the C-type languages, or even Rust. It is very plainly written. Verbose, yes, but much more plainly written.
Just take a look at this, and tell me it's not legible: https://github.com/joakim-strandberg/advent_of_code/blob/mas...
-
-🎄- 2021 Day 2 Solutions -🎄-
Ada95, part one (full code at https://github.com/joakim-strandberg/advent_of_code/):
-
Ada and Advent of Code 2021
Ouch, link doesn't work, due to escape characters. The proper link: https://github.com/joakim-strandberg/advent_of_code
What are some alternatives?
misra-rust - An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
sdlada - Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one.
aoc-ada-2021 - Advent of Code 2021 in Ada
lora-rs - LoRa and LoRaWAN crates for End Devices
advent-of-code - My Advent of Code solutions through the years - mostly JS
gcc
AdventOfCode - My solutions to Advent of Code
bluescan - An intelligence gathering tool for hacking Bluetooth [Moved to: https://github.com/fO-000/bluing]
adventOfCode - https://adventofcode.com/
ubxlib - Portable C libraries which provide APIs to build applications with u-blox products and services. Delivered as add-on to existing microcontroller and RTOS SDKs.
aoc21