← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

golitex

github.com

Python of formal math

Open source

Visit github.comexternal siteGitHub686 starsexternal site

Reactions (2)

Similar products

by description similarity

  1. Exploring Mathematics with Python

    Hacker News268 ptscoe.psu.ac.th2 reactionslatest reaction

  2. mathcode

    MathCode: A Frontier Mathematical Coding Agent

    GitHub751 starsgithub.comOpen sourcelatest reaction

  3. val

    An arbitrary precision calculator language

    Hacker News34 ptsGitHub106 starsgithub.comOpen source2 reactionslatest reaction

  4. Ramanujan

    Multi-Model Agent for Research in Computational Maths

    Hacker News5 ptsGitHub5 starsgithub.comOpen source2 reactionslatest reaction

  5. I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

    Hacker News5 ptsraw.githubusercontent.comlatest reaction