nspin Goto Github PK

getgrub

Carl Hacks Hackathon Project

git-audio

Express yourself.

grt-statements

A collection of unsubstantiated claims

hackny2016-haskell-workshop

Haskell workshop for hackNY2016

halvm-ghc

Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:

haskell-solarized

The solarized color scheme in haskell values.

haskell-tor

A Haskell implementation of the Tor protocol.

heavy-duty-regex

Construct optimally sized DFA's. Useful for embedding DFA's in compiled code (e.g. via Template Haskell).

highdimensionalclustering

hol

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

holes

Homogeneous vectors with statically known size

hs-arm

(Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification

hs-socks

Socks proxy library for haskell

htorrent

A minimalistic, cross-platform BitTorrent client written in Haskell

http-client-lens

Lenses for http-client

inventory

Typed distributed plugin registration

isabelle

git mirror of the Munich isabelle hg repository

jsrt-traversal

Scripts for scraping data from running web applications.

juniper-vpn-py

Python Juniper VPN Authenticator

kali-now

Kali Linux on KVM in Linux containers

keep

Enable your digital hoarding

kgo

`kexec` implemented in pure Go, with some extra flexibility

lambda-calculi

A type-safe implementation of the untyped lambda calculus.

largeword-lens

Provides traverals for homogeneous LargeKeys

leftpad.ko

The infamous leftPad() implemented as a kernel module

libc

Fork of https://github.com/mesalock-linux/libc.git for the Veracruz project.

linux

malice

Haskell framework providing abstractions and protocol-specific attacks for intercepting and modifying network traffic

microkit

Microkit - A simple operating system framework for the seL4 microkernel

minibar

xterm-based status bar for xmonad, featuring a tiny interal FRP implementation