Alternatives
Products that do what Leminno does
Master Olympiad Math with adaptive, ELO-rated practice.
- 1
- 2
- 3
- 4
- 5
- 6
Solve math problems instantly with step-by-step solutions
2024
- 7
- 8
- 9
- 10
- 11AI
A chess engine implementation inspired by AlphaZero, using MLX for neural network computations and Monte Carlo Tree Search (MCTS) for move selection.
2025 · github.com
- 12
- 13RL
Hello Hacker News! We're Yangqing, Xiang and JJ from lepton.ai. We are building a platform to run any AI models as easy as writing local code, and to get your favorite models in minutes. It's like container for AI, but without the hassle of actually building a docker image. We built and contributed to some of the world's most popular AI software - PyTorch 1.0, ONNX, Caffe, etcd, Kubernetes, etc. We also managed hundreds of thousands of computers in our previous jobs. And we found that the AI software stack is usually unnecessarily complex - and we want to change that. Imagine if you are a…
2023 · lepton.ai
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22SS
We were genuinely impressed by Yann LeCun’s recent announcement about his Sudoku solver based on Energy-Based Models here: https://logicalintelligence.com/yann-lecun So we (a software engineer and prodigy mathematician) worked in the weekend to see if we can beat it and we did! If Kona solves puzzles in 313 milliseconds, we currently solve 270,000 puzzles per second! We do not know the internal mechanics behind Logical Intelligence’s system, but we are happy to share ours in the webpage there is a full description, code and also a paper published. Why people are obsessed with…
Feb 2026 · davisgeometric.com
- 23GA
Hi All - I'm Eric, and I’ve been working on a math-tutoring application that continually adapts to a child’s learning needs as they answer questions: www.grokkoli.com/beta (introduces new concepts in granular steps, figures out where/how learners might be confused & attempts to resolve it, speeds kids past the stuff they understand clearly, tracks their recall, answer-speed, and more). Currently in beta, looking for families with kids in grades 1-6 to beta-test. Especially interested in taking on families that are finding math to be a challenge. Happy to share more details if…
2021
- 24MA
2020 · mathematico.org
Ranked by how close each launch is in meaning, then by votes. Refine with a description →