Japan

Satoshi Takimoto

Expert
@wasabi315

Functional programming, theorem proving

wasabi315.github.io/en

type-search-zoo. A collection of type-based library search algorithms

12

aegle. A prototype type-based library search tool for Agda

6

dependent-type-check-ts. TypeScript

5

eff-ts. Effect handlers using JS/TS Generators

3

LkProver. OCaml

2

Hasche. A lisp interpreter written in Haskell

2

coverage-checking. Agda

2

dotfiles. Shell

2

lazy. STG-like lazy evaluation mechanism in JavaScript

1

XCios. OCaml

1

turing. Turing machine editor

1

react-use-actions. TypeScript

1

DH. Haskell

1

tiger. "Modern Compiler Implementation in ML" in Haskell

1
14
Apply