Maintainable configuration files

A C library for asynchronous DNS requests

D2 is a modern diagram scripting language that turns text to diagrams.

GitHub Action to generate GitHub Readme Stats cards.

The Z3 Theorem Prover

Linear algebra and numerical computation

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Simple, beautiful CLI output

Priority Search Queues in three different flavors for Haskell

A golang LRU Cache for high concurrency

ASN1 Raw/BER/DER/CER reader/writer in haskell

🌸 A command-line fuzzy finder

Fancy code outline sidebar to visualize and navigate code symbols in a tree hierarchy

Setting up GHC, cabal, stack on for Haskell-related CIs

A puzzle game with a cat in lead role (Haskell)

Terminal disk space navigator 🔭

A themeable LS_COLORS generator with a rich filetype datebase

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

todo and unimplemented, robustly implemented

Visualization of the COMPLETE MEMORY MAP of any given process

DPI bypass multi platform

pretty-printer for Haskell data types that have a Show instance

A command-line tool to generate, analyze, convert and manipulate colors

Generic method implementations for Arbitrary

cat for markdown

Terminal-based presentations using Pandoc

💥💻💥 A data-parallel functional programming language

Library and utility for processing cabal's plan.json file

The Sphinx documentation generator

Become a conflict resolution hero