STM32F030 development board
Repositories
DanielG Repositories
Clientside only HTML/JavaScript slideshow
Advanced Vrrpd That version has many improvements like monitoring other vrrpd processes and executing a command when changing back and forth from master to backup. You can also use atropos program for view or change global state. VRRP For Linux
ABC: System for Sequential Logic Synthesis and Formal Verification
ASMBv4 compatible SPI flash PCB for coreboot+OpenBMC on KCMA-D8 and KGPE-D16
The Babel routing daemon
bladeRF USB 3.0 Superspeed Software Defined Radio Source Code
Official upstream development repository for Cabal and cabal-install
A Setup.hs helper for doctest running
Give Haskell development tools access to Cabal project environment.
CLaSH prelude library containing datatypes and functions for circuit design
A 464XLAT CLAT implementation for Linux
A configuration language guaranteed to terminate
Policy routing or multihoming with DHCP for additional public IP addresses from consumer Cable modems
DHCP / IPv4LL / IPv6RA / DHCPv6 client
My Mullvad config; using wireguard, network namespaces and libpam-net