Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.
☆33Aug 4, 2026Updated this week
Alternatives and similar repositories for Moonshine
Users that are interested in Moonshine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆252Updated this week
- ☆184Jul 26, 2026Updated last week
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- Official implementation of Continual Harness (arxiv.org/abs/2605.09998) on ARC-AGI-3☆37Jul 3, 2026Updated last month
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆25Mar 19, 2026Updated 4 months ago
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- ☆18May 3, 2026Updated 3 months ago
- ☆35Mar 2, 2026Updated 5 months ago
- ☆11Jan 17, 2023Updated 3 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- See http://www.dickgrune.com/Programs/similarity_tester/☆15Dec 2, 2012Updated 13 years 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.
- ☆47Oct 31, 2025Updated 9 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 4 years ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- ☆14Nov 11, 2019Updated 6 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 2 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Book reading☆16Jun 5, 2020Updated 6 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The official repo for the paper "Externalizing Research Synthesis and Validation in AI Scientists through a Research Harness"☆31Jul 21, 2026Updated 2 weeks ago
- Towards an implementation of hierarchical temporal memory and the cortical learning algorithm by Jeff Hawkins and Dileep George of Nument…☆12Mar 15, 2017Updated 9 years ago
- ☆26Apr 16, 2026Updated 3 months ago
- 《日常》☆18Sep 18, 2021Updated 4 years ago
- Proof assistant for qRHL☆25May 24, 2026Updated 2 months ago
- Autoform Bot☆96Updated this week
- ☆21Mar 10, 2026Updated 4 months ago
- Embed computation and tldraw canvas in your markdown☆14Jan 30, 2024Updated 2 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- arduino inkshield+5 button code for printing multiple messages☆12Jun 17, 2016Updated 10 years ago
- A higher order function to connect Meteor reactive data sources to React components.☆12Mar 7, 2016Updated 10 years ago
- Just a proof of concept Linux rootkit that reads from syscalls.☆24Jun 22, 2018Updated 8 years ago
- SyzgyDB: An embeddable vector database in Go for efficient disk-based storage and similarity searches, supporting various distance metric…☆11Nov 1, 2024Updated last year
- Exploring animations with in Meteor using the Blaze _uihooks☆10Jan 19, 2015Updated 11 years ago
- ☆11Jan 9, 2019Updated 7 years ago
- React 农历日历☆10May 5, 2015Updated 11 years ago