danielg Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

asmb4

ASMBv4 compatible SPI flash PCB for coreboot+OpenBMC on KCMA-D8 and KGPE-D16

babeld

The Babel routing daemon

bladerf

bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

cabal

Official upstream development repository for Cabal and cabal-install

cabal-doctest

A Setup.hs helper for doctest running

cabal-doctest-repro

cabal-flib-invalid-cache-repro

cabal-helper

Give Haskell development tools access to Cabal project environment.

cabal-plan

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

config-debs

deepcopy

dhall-haskell

A configuration language guaranteed to terminate

dhcp-policy-routing

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

dhcpcd

DHCP / IPv4LL / IPv6RA / DHCPv6 client

dxld-mullvad

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

flatbencode

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

ghc-mod

Happy Haskell Hacking for editors. DEPRECATED

ghc-mod.hackage-metadata

ghc-syb

Scrap Your Boilerplate instances for GHC's data types

ghdl

VHDL 2008/93/87 simulator

ghdl-yosys-plugin

VHDL synthesis (based on ghdl)

gipeda

Git Performance Dashboard

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

haskell-ghc-mod

haskell-ghc-mod atom package

haskelzinc

Constraint programming in Haskell through MiniZinc

hatrace

scriptable strace

hipo

hledger

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