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
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
eisl
ISLisp interpreter/compiler
elmerfem
Official git repository of Elmer FEM software
Gloire
An OS built with the Ironclad kernel and GNU tools
gprconfig_kb
GPR configuration knowledge base
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
litex
Build your hardware, easily!
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.
SU2
SU2: An Open-Source Suite for Multiphysics Simulation and Design
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
SweetAda
Ada-language framework
tfel
Main repository of TFEL/MFront project
thelfer.github.io
Websites for all my projets
ulx3s-misc
Miscellaneous ULX3S examples (advanced)
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.
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!
z88dk
The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.