Popular repositories Loading

1. mma-mcp mma-mcp Public archive

   A MCP server that wraps a local Wolfram Engine, enabling AI assistants (Claude, ChatGPT, etc.) to perform symbolic math, numerical analysis, and data visualization via Wolfram Language.

   Python 33 4

2. mma-hol mma-hol Public

   A kernel-minimal LCF-style HOL theorem prover in the Wolfram Language

   Wolfram Language 10

3. rum rum Public

   An embeddable, sandbox-first symbolic term-rewriting language and runtime in Rust — exact rational arithmetic and a capability sandbox for safely evaluating untrusted scripts.

   Rust 3

4. dun dun Public

   A terminal text editor for remote operations work: one binary under 1 MiB, keyboard-first tiling, and plugins as separate processes.

   Rust