☆18Jul 13, 2026Updated 2 months ago
Alternatives and similar repositories for HERMES
Users that are interested in HERMES are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31Apr 3, 2026Updated 5 months ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆25Aug 27, 2026Updated 3 weeks ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 5 months ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 2 months ago
- ☆20May 3, 2026Updated 4 months 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.
- A Quantum Computing Library in LEAN☆24Jul 14, 2026Updated 2 months ago
- ☆21Mar 11, 2026Updated 6 months ago
- ☆18Apr 6, 2021Updated 5 years ago
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- Static site generator☆12Apr 6, 2025Updated last year
- LeanArchitect extracts a blueprint directly from Lean source.☆85Updated this week
- Marketplace ML experiment - training without backprop☆28Sep 9, 2025Updated last year
- ReasBook main branch mirror for self-hosted CI☆60Updated this week
- 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.
- Java web application taking IPFS hashes, extracting (textual) content and metadata through Apache's Tika.☆33Dec 30, 2021Updated 4 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆11May 6, 2022Updated 4 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 5 months ago
- Code for the Avey-B paper (https://arxiv.org/abs/2602.15814)☆32Feb 21, 2026Updated 6 months ago
- Code for Interspeech2022 paper DeID-VC: Speaker De-identification via Zero-shot Pseudo Voice Conversion☆13May 6, 2023Updated 3 years ago
- Developing a legal research tool leveraging ChatGPT / GPT-4☆14Mar 10, 2024Updated 2 years ago
- Lean evaluation and metaprogramming utilities for provers.☆157Updated this week
- Tries to UI development. Clone of https://www.perplexity.ai/☆11Sep 30, 2023Updated 2 years ago
- random sequencer. 31 scales. in purrdata.☆12Jun 14, 2020Updated 6 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.
- Tools based on AI for helping with Lean 4☆122Aug 3, 2026Updated last month
- Granular Sampler for teaching reference☆14Dec 8, 2025Updated 9 months ago
- A Qwen .5B reasoning model trained on OpenR1-Math-220k☆14Updated this week
- ☆51Aug 5, 2025Updated last year
- A Minimal Agent for Automated Theorem Proving☆50Sep 3, 2026Updated 2 weeks ago
- ☆17Jun 15, 2026Updated 3 months ago
- Official implementation: Large Language Models are Interpretable Learners - Google☆13Jun 29, 2024Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Jan 17, 2022Updated 4 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆15Jul 11, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆39Aug 11, 2026Updated last month
- ☆12Dec 5, 2022Updated 3 years ago
- ☆14May 6, 2022Updated 4 years ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆138Aug 10, 2026Updated last month
- Building on the MLFlow toolset this project aims to extend the functionality for MLFlow, increase the automation and therefore reduce the…☆14Apr 2, 2023Updated 3 years ago
- Kylie is a blond and small Elixir client for Cayley graph data base☆12Apr 17, 2026Updated 5 months ago
- ☆11Sep 8, 2025Updated last year