Skip to content

Instantly share code, notes, and snippets.

View np's full-sized avatar

Nicolas Pouillard np

View GitHub Profile
@np
np / RTTI.hs
Created June 12, 2017 13:24 — forked from edsko/RTTI.hs
Run-time type information in Haskell
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
@np
np / namecoin-update.rb
Last active October 4, 2015 19:28 — forked from comboy/update.rb
update all your namecoin domains
#!/usr/bin/ruby
require 'json'
JSON.load(`namecoind name_list`).each do |domain|
if domain['expires_in'] < 5000
command = "namecoind name_update '#{domain['name']}' '#{domain['value']}'"
puts command
puts `#{command}`
end
end
@np
np / gist:202950
Created October 6, 2009 11:59 — forked from kowey/gist:202581
#!/bin/bash
MSGID=$(grep 'Message-Id' | head -n 1 | sed 's/Message-Id: /:/')
hsgtd add "$@" "$MSGID"
@np
np / gist:167685
Created August 14, 2009 07:11 — forked from avsm/gist:166441
(* defines the Ast.binding for a function of form:
let fun_name ?(opt_arg1) ?(opt_arg2) final_ident = function_body ...
XXX: figure out the quotation magic for this, if such exists
*)
let function_with_label_args _loc ~fun_name ~final_ident ~function_body ~return_type opt_args =
let opt_args = opt_args @ [ <:patt< $lid:final_ident$ >> ] in
let rec fn _loc = function
|hd::tl -> <:expr< function $hd$ -> $fn _loc tl$ >>
|[] -> <:expr< ( $function_body$ : $return_type$ ) >>
in