takahisa

Cybozu, IncTokyo, Japan

Pinned Repositories

chibiml
ML interpreter/compiler
Language:OCaml10
chibisat
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
Language:OCaml5 4 00
dotfiles
@takahisa's dotfiles
Language:Emacs Lisp10
featherweight-java
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
Language:OCaml13 2 00
finale
Invertible syntax for OCaml
Language:OCaml30 3 50
parseq
monadic parser combinator library for C#
Language:C#61 9 87

takahisa's Repositories

takahisa/parseq
monadic parser combinator library for C#
Language:C#61 9 87
takahisa/finale
Invertible syntax for OCaml
Language:OCaml30 3 50
takahisa/featherweight-java
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
Language:OCaml13 2 00
takahisa/chibisat
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
Language:OCaml5 4 00
takahisa/chibiml
ML interpreter/compiler
Language:OCaml10
takahisa/dotfiles
@takahisa's dotfiles
Language:Emacs Lisp10