❤
npm
Sign UpSign In

bakkot

Kevin Gibbons

Packages 36

  • z3-solver

    This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

    nbjorner
    published 4.13.0 2 months ago

  • magic-wormhole-mac-intel

    magic-wormhole binary for Intel macOS

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-mac-arm

    magic-wormhole binary for ARM macOS

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-linux-x64

    magic-wormhole binary for Linux x64

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-linux-arm64

    magic-wormhole binary for Linux arm64

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-freebsd-x64

    magic-wormhole binary for FreeBSD x64

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-freebsd-arm64

    magic-wormhole binary for FreeBSD arm64

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-windows-x86

    magic-wormhole binary for Windows 32-bit

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-windows-x64

    magic-wormhole binary for Windows x64

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • magic-wormhole-windows-arm64

    magic-wormhole binary for Windows arm64

    bakkot
    published 1.0.6-ad51cf3 2 years ago

  • @tc39/ecma402-biblio

    Machine-readable representation of the internals of the ecma-402 spec

    tc39-user
    published 2.1.1054 19 hours ago