crpdm

Seoul, Korea

Pinned Repositories

claripy
An abstraction layer for constraint solvers
Language:Python00
dotjs
~/.js — No longer maintained, sorry.
Language:Ruby00
graphql
GraphQL is a query language and execution engine tied to any backend service.
00
lithium
Line-based testcase reducer
Language:Python0 1 00
graphql-spec
GraphQL is a query language and execution engine tied to any backend service.
Language:Shell14.2k 520 5021.1k

crpdm's Repositories

crpdm/claripy
An abstraction layer for constraint solvers
Language:Python00
crpdm/dotjs
~/.js — No longer maintained, sorry.
Language:Ruby00
crpdm/graphql
GraphQL is a query language and execution engine tied to any backend service.
00
crpdm/lithium
Line-based testcase reducer
Language:Python0 1 00