Daniel Gröber (dxld) (DanielG)

DanielG

Geek Repo

Location:Innsbruck, Austria

Home Page:http://darkboxed.org

Github PK Tool:Github PK Tool

Daniel Gröber (dxld)'s repositories

cabal-helper

Give Haskell development tools access to Cabal project environment.

Language:HaskellLicense:Apache-2.0Stargazers:24Issues:9Issues:58

dxld-mullvad

My Mullvad config; using wireguard, network namespaces and libpam-net

kvm-in-a-box

KVM virtualization server for hackers

Language:HaskellLicense:AGPL-3.0Stargazers:8Issues:15Issues:0

dhcp-policy-routing

Policy routing or multihoming with DHCP for additional public IP addresses from consumer Cable modems

partial-hackage-mirror

Create partial Hackage mirrors for new-build based cabal projects

Language:ShellStargazers:1Issues:2Issues:0

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

babeld

The Babel routing daemon

Language:CLicense:MITStargazers:0Issues:0Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:HaskellLicense:GPL-2.0Stargazers:0Issues:3Issues:0

flatbencode

Fast, safe and non-recursive implementation of Bittorrent bencoding for Python 3

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:0Issues:0Issues:0

ghdl-yosys-plugin

VHDL synthesis (based on ghdl)

Language:VHDLLicense:GPL-3.0Stargazers:0Issues:1Issues:0

hledger

easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)

Language:PythonLicense:ISCStargazers:0Issues:0Issues:0

ifupdown-ng

flexible ifup/ifdown implementation

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

libopencm3

Open source ARM Cortex-M microcontroller library

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

libopencm3-template-1

Simple empty template to base your poject on

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:0Issues:0

munge

MUNGE (MUNGE Uid 'N' Gid Emporium) is an authentication service for creating and validating user credentials.

Language:CLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

neomutt

✉️ Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

ola

The Open Lighting Architecture - The Travel Adaptor for the Lighting Industry

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

prjtrellis

Documenting the Lattice ECP5 bit-stream format.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

projectile

Project Interaction Library for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

restic

Fast, secure, efficient backup program

Language:GoLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

shellharden

The corrective bash syntax highlighter

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0

tundra-nat64

A minimal, user-space, stateless NAT64, CLAT and SIIT implementation for Linux

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

unix

POSIX functionality

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

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:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

yosys

Yosys Open SYnthesis Suite

Language:C++License:ISCStargazers:0Issues:1Issues:0

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:0Issues:0Issues:0

zsh-histdb

A slightly better history for zsh

Language:ShellLicense:MITStargazers:0Issues:1Issues:0