Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance
☆59Oct 8, 2026Updated last week
Alternatives and similar repositories for MathKernel
Users that are interested in MathKernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆91Aug 19, 2026Updated last month
- Open-source ESP32 emulator. Run real firmware locally or in your browser — no hardware, no cloud, no subscription.☆44Updated this week
- APEX defines how AI agents communicate with brokers, exchanges, dealers, and other execution venues. One protocol. Realtime state. Autono…☆16Jul 23, 2026Updated 2 months ago
- Manage OpenClaw in your team (Enterprise) by providing it compute infrastructure, tool integration, Authentication and security primitiv…☆59Jul 13, 2026Updated 3 months ago
- Keep Python on your laptop. Run PyTorch operations and hold tensors on a remote GPU, including from a Mac with no CUDA installation.☆77Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The self-hosted platform for your company's AI agents. Your team builds them on Claude Code, Codex or local models, and they work in chat…☆191Updated this week
- Data2prompt is a powerful OSS CLI tool that compiles your entire data-heavy project into a single AI-optimized file. Handles CSVs, Excel,…☆28Oct 1, 2026Updated 2 weeks ago
- 37 tok/s from Qwen3-Next-80B (48 GB) on a 32 GB laptop, 24 without drafts vs 2.8 for llama.cpp; reading 62 vs 16 tok/s. Faster than llama…☆431Updated this week
- A seed agent: the smallest starting point from which an agent can grow☆109Updated this week
- native macos controls for the meta neural band (highly experimental)☆122Oct 1, 2026Updated 2 weeks ago
- Lossless long-term memory for a personal AI: never summarize, keep every line, put a timestamp on everything.☆144Sep 23, 2026Updated 3 weeks ago
- Jeeves – Reasoning improves Jev-like decision models☆425Updated this week
- Command-line tools for photographers.☆133Oct 10, 2026Updated last week
- A sourced model and short report: can Europe train a sovereign frontier AI model on the public compute it already owns, while gigawatt da…☆46Jun 15, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Low-memory graphdb with Bolt+tls support, at-rest encryption & vectors designed for local replica graph use cases.☆104Aug 16, 2026Updated 2 months ago
- ☆77Updated this week
- ☆41Jun 24, 2026Updated 3 months ago
- Step-by-step guide to turning your spare Mac into an always-on machine Claude Code can fully control - talk to it from your phone through…☆56Sep 27, 2026Updated 2 weeks ago
- Turn a goal into a supervised run.☆114Updated this week
- 500+ algorithmic-trading skills for AI coding agents in the agentskills.io format. Every skill ships a working Python reference implement…☆49Sep 14, 2026Updated last month
- A native macOS folding-glass effect controlled by the MacBook lid.☆24Sep 11, 2026Updated last month
- An opinionated, zero-config status line and history picker for fish, bash and zsh, written in Zig☆47Sep 23, 2026Updated 3 weeks ago
- Prolly is a content-addressed ordered map built on prolly trees. It gives applications immutable snapshots, cheap branching, structural s…☆113Sep 13, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆197Jul 21, 2026Updated 2 months ago
- thinkingbox is a framework for defining tool as MCP servers, running LLM agents against them, and evaluating agent behavior — for offline…☆103Updated this week
- ☆82Updated this week
- JSX-style HTML templating for Go☆65Updated this week
- An experimental pattern-first DAW☆85Updated this week
- CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K☆56Oct 5, 2026Updated last week
- A personal AI agent to help you think, create, and get things done. Powered by open models, on your computer or in the cloud.☆52Updated this week
- PyTorch implementations of modern open-source LLM architectures (Llama, Qwen, DeepSeek, Gemma, GPT-OSS, Kimi, and more) — written from sc…☆426Sep 30, 2026Updated 2 weeks ago
- One zero-dependency CLI for every MCP server and agent skill. Token optimization, tool discovery and context compression: 71,929 -> 581 t…☆236Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- HomeOS is a smart family dashboard designed to simplify household management by bringing chores, grocery lists, reminders, and useful inf…☆55Sep 30, 2026Updated 2 weeks ago
- PSSA: a non-transformer language model written from scratch in Rust. Recurrent state-space layer, episodic memory, self-modifying weights…☆116Updated this week
- Free professional color tools for designers & developers. Extract palettes from images/URLs, simulate color blindness, generate gradients…☆17Feb 12, 2026Updated 8 months ago
- modular, client–server software-defined radio☆326Updated this week
- MCP server for Open and Async: AI tools to draft decision docs, run async standups, and triage sync vs. async work☆49Updated this week
- LLM plugin for the OpenAI Decisions API☆23Oct 6, 2026Updated last week
- graf is graphify, rebuilt properly in rust: 1000x faster search, 89x faster updates, and one native binary.☆48Sep 22, 2026Updated 3 weeks ago