Pinned Repositories
claripy
An abstraction layer for constraint solvers
dotjs
~/.js — No longer maintained, sorry.
graphql
GraphQL is a query language and execution engine tied to any backend service.
lithium
Line-based testcase reducer
graphql-spec
GraphQL is a query language and execution engine tied to any backend service.
crpdm's Repositories
crpdm/claripy
An abstraction layer for constraint solvers
crpdm/dotjs
~/.js — No longer maintained, sorry.
crpdm/graphql
GraphQL is a query language and execution engine tied to any backend service.
crpdm/lithium
Line-based testcase reducer