takahisa

takahisa

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
78 Stars
8 Forks
78 Watchers

Repositories (3)

parseq takahisa/parseq C#

monadic parser combinator library for C#

60
featherweight-java takahisa/featherweight-java OCaml

An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.

13
chibisat takahisa/chibisat OCaml

CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml

5