-
Raylib.lean Public
Forked from KislyjKisel/Raylib.leanRaylib bindings for Lean4
Lean BSD 3-Clause "New" or "Revised" License UpdatedApr 17, 2024 -
AUR-PKGBUILDs Public
My AUR packages with Travis CI
-
lean4-ctypes Public archive
FFI for Lean 4
-
LTest Public
A unit testing framework for Lean 4
-
gqrx Public
Forked from gqrx-sdr/gqrxSoftware defined radio receiver powered by GNU Radio and Qt.
-
-
-
nsroot Public
Forked from uit-hdl/nsrootMinimalist process isolation tool implemented with Linux namespaces
C UpdatedJul 28, 2020 -
WSPR-Beacon Public
Si5351 based WSPR beacon
-
direwolf Public
Forked from wb2osz/direwolfDire 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 Gatewa…
C GNU General Public License v2.0 UpdatedNov 27, 2019 -
The gem5 CPU simulator with additional branch predictors in Python
-
gr-nordic Public
Forked from BastilleResearch/gr-nordicGNU Radio module and Wireshark dissector for the Nordic Semiconductor nRF24L Enhanced Shockburst protocol.
-
nrf-research-firmware Public
Forked from BastilleResearch/nrf-research-firmwareFirmware and research tools for Nordic Semiconductor nRF24LU1+ based USB dongles and breakout boards.
Python GNU General Public License v3.0 UpdatedJul 24, 2018 -
rotorcontrol Public
USB interface for Yaesu G-5500 antenna rotator.
-
Tempy Public
Initialize files or directories from Mako templates
-
Booky Public
Simple bookmarks manager for the command line
-
webcam-recorder Public
Simple webcam recorder for the Raspberry Pi
-
dht-explorer Public
Qt GUI for the DHT implementation used by the BitTorrent protocol
-
morsekey Public archive
USB interface and server for iambic morse paddle
C GNU General Public License v3.0 UpdatedMar 10, 2018 -
NOAA-Daemon Public
Automatically record APT transmissions from NOAA weather satellites
-
gqrx-panadapter Public
Synchronize frequencies between rigctld and Gqrx
-
pygqrx Public
Python bindings for some Qt widgets used by Gqrx
-
avr-i2c-eeprom-slave Public
Use AVRs as memory or memory-like I²C devices
C MIT License UpdatedFeb 8, 2017 -
-
xnec2c Public
Graphical interface for nec2c. Based on version 3.4 of the official release.
-
unifying-receiver Public
Reverse engineering the protocol of Logitech's Unified Receiver
-
echomorse Public
Learn morse code while typing
Python GNU General Public License v2.0 UpdatedSep 13, 2015 -
{{ message }}