alexf91
Currently studying Computer Engineering at TU Vienna. Sometimes active amateur radio operator with the callsign OE5TKM
Vienna, Austria
Pinned Repositories
AUR-PKGBUILDs
My AUR packages with Travis CI
Booky
Simple bookmarks manager for the command line
dht-explorer
Qt GUI for the DHT implementation used by the BitTorrent protocol
gqrx
Software defined radio receiver powered by GNU Radio and Qt.
gqrx-panadapter
Synchronize frequencies between rigctld and Gqrx
lean4-ctypes
FFI for Lean 4
NOAA-Daemon
Automatically record APT transmissions from NOAA weather satellites
unifying-receiver
Reverse engineering the protocol of Logitech's Unified Receiver
WSPR-Beacon
Si5351 based WSPR beacon
xnec2c
Graphical interface for nec2c. Based on version 3.4 of the official release.
alexf91's Repositories
alexf91/WSPR-Beacon
Si5351 based WSPR beacon
alexf91/gqrx-panadapter
Synchronize frequencies between rigctld and Gqrx
alexf91/NOAA-Daemon
Automatically record APT transmissions from NOAA weather satellites
alexf91/unifying-receiver
Reverse engineering the protocol of Logitech's Unified Receiver
alexf91/xnec2c
Graphical interface for nec2c. Based on version 3.4 of the official release.
alexf91/lean4-ctypes
FFI for Lean 4
alexf91/Booky
Simple bookmarks manager for the command line
alexf91/dht-explorer
Qt GUI for the DHT implementation used by the BitTorrent protocol
alexf91/AUR-PKGBUILDs
My AUR packages with Travis CI
alexf91/gem5-advanced-computer-architecture
The gem5 CPU simulator with additional branch predictors in Python
alexf91/gqrx
Software defined radio receiver powered by GNU Radio and Qt.
alexf91/LTest
A unit testing framework for Lean 4
alexf91/mtp-server
Modified version of the Ubuntu MTP responder
alexf91/pygqrx
Python bindings for some Qt widgets used by Gqrx
alexf91/rotorcontrol
USB interface for Yaesu G-5500 antenna rotator.
alexf91/Satpredict
Software for satellite prediction on Raspberry Pi
alexf91/Tempy
Initialize files or directories from Mako templates
alexf91/webcam-recorder
Simple webcam recorder for the Raspberry Pi
alexf91/avr-i2c-eeprom-slave
Use AVRs as memory or memory-like I²C devices
alexf91/direwolf
Dire Wolf is a software "soundcard" AX.25 packet modem/TNC and APRS encoder/decoder. It can be used stand-alone to observe APRS traffic, as a tracker, digipeater, APRStt gateway, or Internet Gateway (IGate). For more information, look at the bottom 1/4 of this page and in https://github.com/wb2osz/direwolf/blob/dev/doc/README.md
alexf91/echomorse
Learn morse code while typing
alexf91/gnuradio-experiments
Just some random gnuradio stuff
alexf91/gr-nordic
GNU Radio module and Wireshark dissector for the Nordic Semiconductor nRF24L Enhanced Shockburst protocol.
alexf91/hamlib
Ham radio control libraries
alexf91/morsekey
USB interface and server for iambic morse paddle
alexf91/myPKGBUILDs
PKGBUILDS for AUR and personal use
alexf91/nrf-research-firmware
Firmware and research tools for Nordic Semiconductor nRF24LU1+ based USB dongles and breakout boards.
alexf91/nsroot
Minimalist process isolation tool implemented with Linux namespaces
alexf91/Raylib.lean
Raylib bindings for Lean4
alexf91/seL4
The seL4 microkernel