☆19Jul 13, 2026Updated 3 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:
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated 2 weeks ago
- ☆31Apr 3, 2026Updated 6 months ago
- ☆13Sep 12, 2026Updated last month
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆12Feb 16, 2024Updated 2 years ago
- Set of agent skills of Lean code generation for software development☆17Jul 6, 2026Updated 3 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- This repository hosts the SAIR Mathematics Distillation Challenge: Equational Theories Stage 2, providing Lean 4 problem sets, judging to…☆28Aug 27, 2026Updated 2 months ago
- Plain-text declaration export for Lean 4☆48Oct 14, 2026Updated 2 weeks ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- ☆21Mar 11, 2026Updated 7 months ago
- ☆24May 3, 2026Updated 6 months ago
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆21Oct 20, 2026Updated last 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.
- The code for paper AT-VLA: Adaptive Tactile Injection for Enhanced Feedback Reaction in Vision-Language-Action Models☆22May 14, 2026Updated 5 months ago
- ☆17May 26, 2026Updated 5 months ago
- A Quantum Computing Library in LEAN☆28Jul 14, 2026Updated 3 months ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆18Updated this week
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- ☆21Jul 28, 2026Updated 3 months ago
- [Version 0.5.0][Registered Package][Functional] (max,+) and (min,+) algebra toolbox for Julia from Scilab toolbox☆10Sep 28, 2026Updated last month
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Isaac Sim extension for generating synthetic tactile data from the Robotiq TSF-85 sensor.☆23Jun 25, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆34Aug 10, 2026Updated 2 months ago
- ☆13Dec 8, 2022Updated 3 years ago
- Kin — web-based autonomous co-work agent platform☆12Aug 5, 2026Updated 2 months ago
- [NeurIPS 2026] AgentForesight: Online Auditing for Early Failure Prediction in Multi-Agent Systems☆25May 12, 2026Updated 5 months ago
- SHApe simulation with graph KERnels☆10May 17, 2021Updated 5 years ago
- Get citation data from CiteAs and Google Scholar☆14Mar 18, 2025Updated last year
- Marketplace ML experiment - training without backprop☆28Sep 9, 2025Updated last year
- Audit any agent decision across its past, present, and future, on one typed graph.☆32Oct 26, 2026Updated last week
- ☆43Jul 29, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lean4 benchmark on 1 category.☆30Jun 19, 2026Updated 4 months ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years ago
- ☆40Updated this week
- [ICLR 2026] Official implementation of the paper "Exploring Cross-Modal Flows for Few-Shot Learning".☆26Mar 1, 2026Updated 8 months ago
- [NeurIPS 24] Incremental Learning of Retrievable Skills For Efficient Continual Task Adaptation☆29Oct 12, 2025Updated last year
- NetTAG: A Multimodal RTL-and-Layout-Aligned Netlist Foundation Model via Text-Attributed Graph (DAC'25)☆25May 20, 2026Updated 5 months ago
- ☆11Jul 3, 2025Updated last year