Discover nh2/internal-contstrained-pki Open Source project

Call Haskell functions from any programming language via serialization and dynamic libraries

389

call-haskell-from-anything

Presentation: Debugging across pipes and sockets with strace

386

strace-pipes-presentation

hatrace

nixops-tutorial

Tutorial for practical deployments with NixOps

Measuring CPU instructions in Haskell using Linux Performance Counters

108

haskell-cpu-instruction-counter

Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)

haskell-from-python

An NGINX caching proxy to serve the cache.nixos.org binary cache from your local network, ready-to-deploy with nixops

nix-binary-cache-proxy

Example how to link Haskell programs very quickly with lld

link-with-lld-example

Data.List.nub is O(n²). This one is O(n log n) by requiring an Ord instance.

haskell-jobs-statistics

haskell-ordnub

HTML

hemokit

Haskell library for the Emotiv EEG, inspired by the Emokit code

Examples of how to build and run NixOS VMs with nix

nixos-vm-examples

Methods for building custom NixOS AMIs

nixos-ami-building

Shell

arduino-a7105

Fixed code from http://www.instructables.com/id/Easy-Android-controllable-PC-Interfaceable-Relati/step6/Arduino-Software/

Arduino

housescan

Building-scale interior 3D reconstruction with KinectFusion

For making the Asus Xtion work on USB 3.0 on Linux (e.g. for PCL)

asus-xtion-fix

loop

Fast loops for Haskell (for when GHC can't optimize forM_), with benchmarks

HTML

gmail-spamfilters-paypal-security-messages

Screenshot of how GMail classified PayPal security message as spam

hackage-download

Script to download all of Hackage

Fixed version of the program at https://serverfault.com/a/328305/128321

dentls

haskellerz-async-tutorial-2020

Async tutorial (my HaskellerZ 2020 talk)

Haskell data structures and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, and TFTP packages. Extracted from the House project network stack.

network-house

read files in physical order to reduce hard drive seeks

diskorder

GUI for gstreamer-based screen sharing

niceshare

Mapping between Aeson's JSON and Bson objects

aesonbson

Example how to append data to a Haskell executable using sqlite

haskell-static-data-sqlite

shared-memory

Haskell shared memory library

Arranging tabs in Sublime Text like in Chrome

sublime-text-move-tabs

Concurrent, order-preserving mapping Conduit for Haskell

conduit-concurrent-map

Imports a Kibana export.json file into Kibana

kibana-importer

Convert to/from the ISO 8601 time format in Haskell

iso8601-time

Advanced nixops deployment example: GlusterFS

nixops-gluster-example

nh2's Haskell TODO / wish list for Open Source tasks to improve Haskell

haskell-todos

nixos-configs

My NixOS configs

lambdabot-zulip

Lambdabot for Zulip Chat

Example Turbogears project for implementing server-side events in Python

eventstreamexamples

Script that allows to run your own hackage with select packages/versions that you drop in

custom-hackage

Shell

ghc-mod-socket

Makes ghc-modi behave like hdevtools

Call Python from Haskell by FFI-via-serialisation over MessagePack

call-python-via-msgpack

Wipes time stamps from .a files (like ar -D)

ar-timestamp-wiper

A Haskell library for testing interactive command line programs

proctest

Allows restarting the currently running Haskell executable

selfrestart

Haskell Conduit implementing the official LZ4 frame streaming format

lz4-frame-conduit

Run any Linux distro on your legacy Chromebook, ChrUbuntu style

chrubuntu-anyos

A Shake build system that builds a cabal project together with a set of dependencies available in source

multishake

Import/export git repos to/from darcs. Also contains darcs-bridge for bidirectional synchronisation. Forked from http://darcsden.com/mornfall/darcs-fastconvert to fix build on newer platforms.

darcs-fastconvert

Script to replace words in a range of recent git commits

git-rewrite-history-on-patches

Example of how to use nix Haskell binary packages with stack

stack-nix-caching-example

Loading PBM, PGM, PPM image files in pure Haskell

haskell-netpbm

Article about block device file-system auto-creation on NixOS

nixos-blockdevice-attachment-explanations

quadcopter-simulation

Rust

nixos-vm-building

Example of how to iterate on a NixOS config in a local VM.

Shell

vinput

Virtual input devices on Linux for multitouch tables and other funny stuff.

Adds a command to enable/disable line numbers for the current buffer.

sublime-toggle-line-numbers

A Better Alignment Plugin for Sublime Text 2 `⌘⌥^ ]`

Abacus

Example Wayland program (client) in Haskell

hello_wayland_haskell

blog

nh2's blog posts

Git mirror of the Haskell House operating system project (https://code.google.com/p/pdxhouse)

haskell-pdxhouse

Evaluation benchmarks of backup tools bupstash and kopiia

bupstash-kopia-comparison

wordwang

Memory reinterpretation casts for Float/Double and Word32/Word64 in Haskell

reinterpret-cast

HTML

KinectStreamer

Streams Kinect data (such as the depth image) as a TCP server

lambdanumbers

staticfetcher

Fetches static files.

Object structure checking for the rescue!

jsschema

Predicting Python's Mersenne twister PRNG for 30c3 CTF, with Python calling Java, yeah

AntiMersenne

Java

obse

Git mirror of the Oblivion Script Extender (http://obse.silverlock.org)

C++

dsa42

Spieleprogrammieren im Kurs "Extreme Programming" auf der Deutschen Schülerakademie Schelklingen 2008

Java

temperature-sensor-server

Haskell server to serve temperature from Arduino

Write-up of a Linux kernel bisection to find a scheduler bug that results in reduced performance

linux-bad-core-scheduling-investigation

Haskell program to forward incoming UDP packets to N many targets

udp-splitter

A browser project template using: angular, coffeescript, stylus, testacular, bower, grunt.

empty-angular-project

CoffeeScript

psqueue-benchmarks

Benchmark of Haskell Priority Search Queue implementations

Flippi: a Wiki clone written in Haskell (http://www.flippac.org/projects/flippi/). I have nothing to do with this project nor do I maintain it - I just fixed the build because someone in Haskell-Cafe had a problem with that.

flippi

Reproduction for `deriving Generic` being quadratic in the Glorious Haskell Compiler

ghc-generics-deriving-is-slow

A GTK text box for passwords with an icon to show the password in plain text

gtkpasswordentry

jquery-elastic

Criterion benchmarks for http://neilmitchell.blogspot.co.uk/2014/01/optimising-haskell-for-tight-inner-loop.html

inner-loop-benchmarks

Test trees as modifiable data for hspec

hspec-experiment

A Haskell EDSL for programming Web applications. I have nothing to do with this project nor do I maintain it - I just fixed the build because someone in Haskell-Cafe had a problem with that.

WashNGo

Linux kernel dropped DNS requests investigation (visible to iptables but not Wireshark)

dig-5-seconds-hang

e57-dump

Simple executable to dump .e57 file structure as text for quick inspection

Meson

copier

Tool to copy files in parallel for use on networked file systems. Written in Haskell

(Unfinished) Haskell server-side engine.io and socket.io implementation. Avoids real-time at all cost!

haskell-socketio

Reproduction for GHC 8.0 stack overflow

ghc-control-monad-trans-unlift-stack-overflow

A simple library use thinkpadlightd

thinkpadlight-client

Test case for a GHC bug concerning the unnecessary loading packages when TH is used

ghc-bug-th-loading

Haskell experiments around monad-par, parallel, parMap and spark scheduling

parallel-map-experiments

Repro for GHC 7.8.4 panic: dsImpSpecs on SPECIALISE pragma with -fhpc enabled

ghc-omit-interface-pragmas-dsImpSpecs-bug

Futhark implementation of two-nearest-neighbour brute-force quadratic feature matching.

futhark-featurematch-2nn

Futhark

number-streams

Haskell library for calculating properties on streams of numbers, e.g. moving sums and averages

Benchmarking Haskell's getDirectoryContents function and alternatives

getDirectoryContents-benchmarks

Tools for translating binary files into 1-0-sequences and vice versa

onezerocat

Disabling submit buttons after submit

jquery-doublepostpreventer

A server for your ThinkPad's enlightenment

thinkpadlightd

Web password manager written in Python/Django

u51

Small test project for GHC issues related to the `[TH]` recompilation reason

th-recomp-test

Test case for socket functionality in https://ghc.haskell.org/trac/ghc/ticket/13497

100

ghc-socket-test