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
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
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
eisl
ISLisp interpreter/compiler
elmerfem
Official git repository of Elmer FEM software
Gloire
An OS built with the Ironclad kernel and GNU tools
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
ol
Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
OpenRadioss
OpenRadioss is a powerful, industry-proven finite element solver for dynamic event analysis
pure-sh-bible
đź“– A collection of pure POSIX sh alternatives to external processes.
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
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
thelfer.github.io
Websites for all my projets
unstoppable-wallet-android
Multi-wallet for Bitcoin, Ethereum, Binance Smart Chain and other emerging blockchains. Non-custodial storage, decentralized exchange, and extensive analytics for thousands of tokens and NFTs. Implemented on Kotlin.
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!