-
CEO, SageMath, Inc.
- Renton, WA
- https://wstein.org
- @wstein389
- in/william-stein-895a26158
- https://www.linkedin.com/feed/
Stars
PyRigi is a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks.
Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.
just-every / code
Forked from openai/codexEvery Code - push frontier AI to it limits. A fork of the Codex CLI with validation, automation, browser integration, multi-agents, theming, and much more. Orchestrate agents from OpenAI, Claude, G…
OAuth authentication plugin for personal coding assistance with ChatGPT Plus/Pro subscriptions - uses OpenAI's official authentication method
MathCAT: Math Capable Assistive Technology for generating speech, braille, and navigation.
A fast parser and processor for .gitignore files.
Lightweight coding agent that runs in your terminal
rsync in Go! implements client and server, which can send or receive files (upload, download, all directions supported)
Statically cross-compile sshd and sftp-server
trzsz-ssh ( tssh ) is an ssh client designed as a drop-in replacement for the openssh client. It aims to provide complete compatibility with openssh, mirroring all its features, while also offering…
Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port)
Open Source Continuous File Synchronization
rustic - fast, encrypted, and deduplicated backups powered by Rust
Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
frog-o / cowasm
Forked from sagemathinc/cowasmCoWasm: Collaborative WebAssembly for Servers and Browsers. Built using Zig. Supports Python with extension modules, including numpy.
Node.js bindings for the zstd compression library, using Node-API
A Copy-on-Write NoSQL database engine inspired by btrfs
Pure Rust (unofficial) NATS client implementation and tokio integration
Base64 implementation for JavaScript
FastStream is an asynchronous Python framework for building event-driven applications. It brings together message broker integration, dependency injection, validation, testing utilities, and AsyncA…
Web dashboard for monitoring NATS servers.
Ikto is a NATS based Wireguard mesh network builder.
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
Postgres change data capture to streams, queues, and search indexes like Kafka, SQS, Elasticsearch, HTTP endpoints, and more
A distributed SQLite server with MySQL wire compatible interface