I mainly enjoy doing embedded and baremetal work, but I can do a bit of everything.
- Zaragoza, Spain
-
18:04
(UTC +01:00)
-
-
hyfetch Public
Forked from hykilpikonna/hyfetch🏳️🌈 🏳️⚧️ Neofetch with LGBTQ+ pride flags!
-
posixtest Public
Very basic tests for UNIX sockets and other utilities
-
-
-
icecat Public
Forked from losuler/icecatDebian packaging for GNU IceCat (built from source).
Shell GNU General Public License v2.0 UpdatedJul 22, 2023 -
-
awesome-ada Public
Forked from ohenley/awesome-adaA curated list of awesome resources related to the Ada and SPARK programming language
UpdatedOct 14, 2022 -
-
mantissa Public
A GTK based browser written in D and made with love.
-
limine Public
Forked from limine-bootloader/liminex86/x86_64 BIOS/UEFI Bootloader.
C BSD 2-Clause "Simplified" License UpdatedJan 3, 2022 -
-
slibc Public
POSIX-compatible libc meant for ease of porting and performance for hobbyist OSes
-
webkit2gtkd Public
A small D binding for the webkit2gtk library.
-
-
phobos Public
Forked from dlang/phobosThe standard library of the D programming language
D Boost Software License 1.0 UpdatedSep 16, 2020 -
microski Public
Forked from classilla/microskiA tiny voice from the firmware said, "Hello!"
Assembly Apache License 2.0 UpdatedJul 26, 2020