DanielG

Innsbruck, Austria

Pinned Repositories

asmb4
ASMBv4 compatible SPI flash PCB for coreboot+OpenBMC on KCMA-D8 and KGPE-D16
10 7 02
cabal-helper
Give Haskell development tools access to Cabal project environment.
Language:Haskell24 9 5838
dxld-mullvad
My Mullvad config; using wireguard, network namespaces and libpam-net
Language:Shell19 4 13
ghc-mod
Happy Haskell Hacking for editors. DEPRECATED
Language:Haskell676 35 600177
ghc-syb
Scrap Your Boilerplate instances for GHC's data types
Language:Haskell8 6 1410
kvm-gpu
Utilities for GPU passthrough with KVM
Language:Shell5 4 01
kvm-in-a-box
KVM virtualization server for hackers
Language:Haskell8 15 00
rts-loader
Haskell dynamic RTS loader
Language:Haskell13 5 00
travis-run
Run travis-ci builds locally using Docker [abandoned]
Language:Shell36 8 86

DanielG's Repositories

DanielG/cabal-helper
Give Haskell development tools access to Cabal project environment.
Language:Haskell24 9 5838
DanielG/dxld-mullvad
My Mullvad config; using wireguard, network namespaces and libpam-net
Language:Shell19 4 13
DanielG/kvm-in-a-box
KVM virtualization server for hackers
Language:Haskell8 15 00
DanielG/dhcp-policy-routing
Policy routing or multihoming with DHCP for additional public IP addresses from consumer Cable modems
Language:Shell3 3 31
DanielG/partial-hackage-mirror
Create partial Hackage mirrors for new-build based cabal projects
Language:Shell1 2 0
DanielG/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C1 0
DanielG/babeld
The Babel routing daemon
Language:C0 0
DanielG/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell3 0
DanielG/cabal-plan
Language:Haskell3 0
DanielG/flatbencode
Fast, safe and non-recursive implementation of Bittorrent bencoding for Python 3
Language:Python0 0
DanielG/ghdl
VHDL 2008/93/87 simulator
Language:VHDL1 0
DanielG/ghdl-yosys-plugin
VHDL synthesis (based on ghdl)
Language:VHDL1 0
DanielG/hledger
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
Language:Haskell2 0
DanielG/icestorm
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
Language:Python0 0
DanielG/ifupdown-ng
flexible ifup/ifdown implementation
Language:C1 0
DanielG/libopencm3
Open source ARM Cortex-M microcontroller library
Language:C2 0
DanielG/libopencm3-template-1
Simple empty template to base your poject on
Language:Makefile0 0
DanielG/munge
MUNGE (MUNGE Uid 'N' Gid Emporium) is an authentication service for creating and validating user credentials.
Language:C0 0
DanielG/neomutt
✉️ Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
Language:C0 0
DanielG/ola
The Open Lighting Architecture - The Travel Adaptor for the Lighting Industry
Language:C++2 0
DanielG/prjtrellis
Documenting the Lattice ECP5 bit-stream format.
Language:Python1 0
DanielG/projectile
Project Interaction Library for Emacs
Language:Emacs Lisp2 0
DanielG/restic
Fast, secure, efficient backup program
Language:Go1 0
DanielG/shellharden
The corrective bash syntax highlighter
Language:Rust2 0
DanielG/tundra-nat64
A minimal, user-space, stateless NAT64, CLAT and SIIT implementation for Linux
Language:C0 0
DanielG/unix
POSIX functionality
Language:Haskell2 0
DanielG/Vrrpd
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
Language:C1 0
DanielG/yosys
Yosys Open SYnthesis Suite
Language:C++1 0
DanielG/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
Language:Python1 0
DanielG/zsh-histdb
A slightly better history for zsh
Language:Shell1 0