newmath

BEDC: Binary Emission Discovery Calculus (mathlib-free Lean 4 + LaTeX paper) (by the-omega-institute)

Newmath Alternatives

Similar projects and alternatives to newmath

  1. NyxID

    Connect AI agents to any API, anywhere. Securely. Open-source gateway that proxies requests, injects credentials automatically, punches through NAT to reach localhost services, and wraps REST APIs as MCP tools. Per-agent isolation. Never expose a raw key.

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  3. consensus-rnd

    通用共识式研发 skills 库 — 可被任意 host 注入的多角度共识构建引擎

  4. Ornn

    2 newmath VS Ornn

    Your all-in-one skills-as-a-service platform to manage your skills, auto-generate skills and use agent skills as simple as calling an API.

  5. napkin

    3 newmath VS napkin

    An Infinitely Large Napkin

  6. ts-math-evaluate

    Type-level math expression evaluator for TypeScript.

  7. NazgandMathBook

    A collection of math notes (by gitlab-Nazgand)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better newmath alternative or higher similarity.

newmath discussion

Log in or Post with

newmath reviews and mentions

Posts with mentions or reviews of newmath. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2026-06-19.
  • Our agent loops have been shipping production features for weeks. Here's the tool.
    5 projects | dev.to | 19 Jun 2026
    It refused to take credit it couldn't back. On newmath — also ours, written by the same maintainer — the loop ran an experiment and measured a real result, 0.998 on a gap-detection benchmark against a 0.463 baseline. Then it went to claim a separate result, that the model also predicted better, and the statistical gate didn't pass: identical error on both arms. So it marked that claim false and logged why. On a repo where we'd have loved the win, it didn't take a result it couldn't support. (#1687)

Stats

Basic newmath repo stats
1
12
10.0
7 days ago

the-omega-institute/newmath is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

The primary programming language of newmath is TeX.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com