Socket
Book a DemoInstallSign in
Socket
m

maiavictor

npm

Packages

Comaintainers

85 packages

abstract-algorithm

Optimal evaluation of some lambda terms

agda-cli

A command-line tool to perform Agda commands like checking, running, and compiling

agent-twitter-client-taelin-fork

A twitter client for agents

aiemu

Claude emulates games

amigohex

AmigoHex

bitspeak

Bitspeak

calculus-of-constructions

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript

chatsh

Enhance the command line with OpenAI's GPT

dattata

A collection of pureish, functional-inspired datatypes.

desuhex

DesuHex

SocketSocket SOC 2 Logo

Product

About

Packages

Stay in touch

Get open source security insights delivered straight into your inbox.

  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc

U.S. Patent No. 12,346,443 & 12,314,394. Other pending.