arata, mizuki (@minoki)

Top repositories

1

LunarML

A Standard ML compiler that produces Lua/JavaScript
Standard ML
209
star
2

InputSourceSelector

A utility program to manipulate Input Sources on Mac OS X.
Objective-C
120
star
3

purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript
Haskell
88
star
4

cluttex

Process LaTeX documents without cluttering your working directory
Lua
39
star
5

pandoc-aozora-ruby

青空文庫風のルビを解釈するPandoc filterです
Haskell
22
star
6

rounded-hw

Directed rounding and interval arithmetics with builtin floating types
Haskell
11
star
7

luaexif

Lua binding for libexif
C
10
star
8

algebraic-num-example

「代数的数を作る 多項式の根と因数分解のアルゴリズム」のサンプルコード
Haskell
8
star
9

unboxing-vector

A newtype-friendly wrapper for Data.Vector.Unboxed
Haskell
6
star
10

lobjc

A bridge between Lua and Objective-C
Objective-C
6
star
11

ghc-docker

Dockerfile(s) for GHC
Dockerfile
6
star
12

yurumath

ゆるい LaTeX数式 → MathML 変換器(になる予定)
Haskell
5
star
13

haskell-floating-point

Haskell libraries for floating point numbers (fp-ieee and rounded-hw)
Haskell
5
star
14

my-atcoder-solutions

AtCoderのオレオレ解答集(主にHaskell) by @mod_poppo
Haskell
4
star
15

fibonacci-hs

Fibonnacci sequence in Haskell
Haskell
3
star
16

LambdaQuest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)
Haskell
3
star
17

min-caml-hs

MinCaml implementation in Haskell
Haskell
3
star
18

delimited-continuations-in-lua

Lua
2
star
19

algebraic-real-article

週刊 代数的実数を作る
Haskell
2
star
20

rxpattern

A Haxe library to build regular expression patterns
Haxe
2
star
21

javascript-limits

Limits of JavaScript
JavaScript
2
star
22

icfpc2006

My solutions to ICFP Programming Contest 2006 "The Cult of the Bound Variable", including JITting VM for the Universal Machine
C
2
star
23

singularity

A web page that demonstrates how complex integrals work
TypeScript
2
star
24

filesystemwatch-test

Test programs for watching file changes
Lua
2
star
25

hs-inline-asm-test

Compare several ways to access certain CPU instructions from Haskell
HTML
1
star
26

jstrans

Translates extended-JavaScript code into ordinary one
Haskell
1
star
27

lua-ext-wasmer

Wasmer binding for Lua
C
1
star
28

setTextEncoding

A utility to set text file encoding (com.apple.TextEncoding attribute) on Mac OS X
Objective-C
1
star