Fernando Oleo Blanco's repositories
latex-template
My personal LaTeX template for formal presentations and thesis/reports
neorv32_litex_hal
HAL (Hardware Abstraction Layer) for the NeoRV32 as generated by LiteX for the ULX3S FPGA
Ada_NeoRV32
Running Ada on NeoRV32 (soft-CPU written in VHDL) in a ULX3S
advent-of-code-2024
Doing AoC-2024 in Ada and not succeeding at it :)
AEiC2024-Community
Slides for the "Ada Community Advocacy" given in AEiC 2024
Ada-ESP32-C6
Ada running on the ESP32-C6
ada-lang-io
An Open Source Community site for Ada
Ada_Unbounded_Perf_Comparison
Performance comparison of some Ada implementations of Big_Num
AdaReferenceCard
Reference Card of Ada Attributes, Aspects, Pragmas and Standard Library
Alice
Adventures for Learning and Inspiring Coding Excellence
alire-index
Community index for the Alire project
eepers
Simple Turn-based Game
elmerfem
Official git repository of Elmer FEM software
Gloire
An OS built with the Ironclad kernel and GNU tools
gnat-llvm
LLVM based GNAT compiler
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
litex
Build your hardware, easily!
Metallurgy-in-Salome-Meca-Code_Aster
Metallurgy in Salome-Meca Code_Aster
OpenRadioss
OpenRadioss is a powerful, industry-proven finite element solver for dynamic event analysis
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
SweetAda
Ada-language framework
SweetAda-AEiC2024
Slides and content for the SweetAda talk given in Ada-Europe International Conference 2024
tfel
Main repository of TFEL/MFront project
website
FOSDEM website
wolfssl
The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!