Important: This documentation covers Yarn 1 (Classic).

For Yarn 2+ docs and migration guide, see yarnpkg.com.

keywords: Atp

found 7 packages in 3ms

coinpayments13.6kMIT2.2.0

CoinPayments is a cloud wallet solution that offers an easy way to integrate a checkout system for numerous cryptocurrencies. Coinpayments now also offers coin conversion via Shapeshift.io.

OrahKokosalmost 3 years agoBINGO Entertainment, Bitcoin, Bitcoin (Lightning Network), Litecoin

npmGitHubHomepage

condet106MIT2.0.1

Condensed Detachment

mafualmost 3 years agocondensed detachment, modus ponens, ATP, theorem proving

npm

tptp41BSD1.0.1

Connecting to the TPTP Problem Library

mafu7 months agoTPTP, ATP, theorem proving, automated reasoning

npm

pl1res27MIT0.2.0

Automated theorem prover for first-order predicate logic based on resolution

mafuabout 3 years agoATP, first-order predicate logic, resolution, automated theorem proving

npm

autonomous-db25Apache-2.01.0.3

Oracle Autonomous Database connection for Nodejs developers (unofficial)

pavelsjoabout 3 years agonode, autonomous, oracle, adw

npmGitHub

Packages

debug-js debug

Lightweight debugging utility for Node.js and the browser

debug, log, debugger

lodash lodash

Lodash modular utilities.

modules, stdlib, util

facebook react

React is a JavaScript library for building user interfaces.

react

ljharb qs

A querystring parser that supports nesting and arrays, with a depth limit

querystring, qs, query, url

caolan async

Higher-order functions and common patterns for asynchronous code

async, callback, module, utility

babel babel-core

Babel compiler core.

6to5, babel, classes, const