Nuno Felicio's repositories
bell_coffee-u-boot
"Das U-Boot" Source Tree
Language:C000
globalping-hwprobe
OS image for Globalping hardware probes. Become a GitHub Sponsor to get yours!
Language:Shell000
incubator-nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Apache-2.0000
incubator-nuttx-apps
Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
Apache-2.0000
practical_cryptography_engineering
Cryptography code examples using libsodium and mbedtls C libraries and Python cryptography and PyNaCl modules
Apache-2.0000
gpio-counter
Generic GPIO impulse counter driver. Counts impulses using GPIO interrupts.
000