gnumonik Goto Github PK

adlist

small pihole blocklist for domains that aren't blocked my other lists / experimentation

auctionsniper

WoW 1.12.1 Addon: Get free money from the neutral AH

cardano-transaction-lib

decidable

Combinators for manipulating dependently-typed predicates.

diesel

Generate STLC eDSLs w/ closed type universes in Haskell (WIP)

doom-emacs

An Emacs framework for the stubborn martian hacker

foop

Simple Halogen-inspired OOP for Haskell

glee

Experimental Extension of Richard Eisenberg's "Glambda" STLC interpreter with Record Types, Variant Types, and primitive functions

gnumonik.github.io

hascii

A simple command line utility to convert images of Goku into ascii art

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

mlabs-tooling.nix

A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.

monad-errors

An Error handling monad (transformer) which collects errors instead of short-circuiting.

monad-look

MonadReader without `local`

openrazer

Open source driver and user-space daemon to control Razer lighting and other features on GNU/Linux

pcap

Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.

placket

Placket is terminal application that runs a small scripting language for generating, modifying, and and sending raw network packets.

plutarch-ply

plutus

The Plutus language implementation and tools

purescript-aeson

Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)

react-example

regtools

Window Registry Hive File Exploration Tools

rhizome

Experimental OOP library backed by Row Types and a bunch of typelevel programming

row-extras

Utility functions, typeclasses, constraints, and data types for working with the `row-types` library.

row-types

A Haskell library for open records and variants using closed type families and type literals

toolboxtalk