amutake Goto Github PK

github-post-receive

A library to construct github post-receive servers.

haskell-relational-record

This repository includes joined query generator baseed on typefull relational algebra, and mapping tool between SQL values list and Haskell record type.

haskell-relational-record-driver-oracle

[Obsolete] Oracle driver for haskell-relational-record

haskelltter

Twitter client on GHCi (inspired by ocamltter)

homebrew-mathcomp

homebrew formula for mathematical components

hrr-examples

Some examples of haskell-relational-record

hubot-scripts

optional scripts for hubot, opt in via hubot-scripts.json

idris-vim

Idris mode for vim

imp

A simple imperative language for learning/teaching Haskell

insert-unattended-all

jssst2014-paper

jype

Data Types for JSON

learn-satysfi

SATySFiを学ぶためのドキュメント（作成中）

libpafe-ruby

Gemified version of libpafe-ruby

loga

logi

A Logger Interface Library for Erlang/OTP

made-with-satysfi

List of documents made with SATySFi

mathematical-programming

数理計画法の教科書の問題

meck

A mocking library for Erlang

min-caml

moved from https://sourceforge.net/p/min-caml/code/

mini_dialyzer

(ゴミ) Dialyzer for mini-Erlang

mlsub

Prototype type inference engine

moyo

Erlangの便利なライブラリ集

mthesis

My master thesis

obeam

ods

Open Data Structures の日本語ソースコード

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

peggy

The Parser Generator for Haskell

playroom

This is my playroom to get used to a variety of languages and libraries

projecteuler

http://projecteuler.net