← Latest products

SymDerive

A functional, stateless symbolic math library. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans.

Library

Visit news.ycombinator.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Ramanujan

    github.com

    Multi-Model Agent for Research in Computational Maths

    Hacker News5 pts

  2. A lightweight

    polign.com

    stateless database for agent memory

    Hacker News36 pts

  3. val

    github.com

    An arbitrary precision calculator language

    Hacker News34 pts

  4. Katharos Functional programming and CSP-style concurrency for Python

    github.com

    A functional programming and concurrency library for Python: algebraic abstractions (Semigroups, Monoids, Functors, Applicatives, Monads), immutable data types, and message-passing concurrency, all designed as composable, type-safe values.

    Hacker News37 pts

  5. Social and context-aware AI platform to do math

    prooftree.ai

    So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it!

    Hacker News5 pts