☆15May 5, 2025Updated last year
Alternatives and similar repositories for EquiBench
Users that are interested in EquiBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jun 16, 2026Updated 4 months ago
- Beyond KV Caching: Shared Attention for Efficient LLMs☆20Jul 19, 2024Updated 2 years ago
- Efficient Symptom Inquiring and Diagnosis via Adaptive Alignment of Reinforcement Learning and Classification [AI in Medicine Journal]☆14May 20, 2022Updated 4 years ago
- Repository for Sparse Universal Transformers☆19Oct 23, 2023Updated 3 years ago
- 🔍 Code Search Tools & Experiments☆13Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🚀 Interactive JSONL editor for Claude Code conversation files with real-time file system synchronization. Efficient prompt engineering t…☆15Aug 27, 2026Updated last month
- ✨ AI IDE 专用多 prompt 管理系统，支持跨 IDE、一键切换、智能同步 Global / Project Prompt！ ✨☆14Apr 26, 2025Updated last year
- ☆16May 24, 2025Updated last year
- ☆19Jan 12, 2026Updated 9 months ago
- 🔎 Fast, local search across the CS research literature, with an expressive query language, an interactive TUI, and scriptable output.☆28Sep 18, 2026Updated last month
- Parse Symcat (http://www.symcat.com) symptoms and conditions and generate valid Synthea (https://github.com/synthetichealth/synthea) modu…☆17Jan 28, 2021Updated 5 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- ☆25Apr 3, 2025Updated last year
- 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.
- VSCode Extension to enable UIs for MCP Servers (SSE)☆11Apr 18, 2025Updated last year
- ☆14Oct 5, 2024Updated 2 years ago
- Python script for manipulating the existing tokenizer.☆21Mar 6, 2026Updated 7 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- Godel Checker with data race detection☆10Feb 2, 2022Updated 4 years ago
- Cases for high concurrency go programs☆11Jan 18, 2021Updated 5 years ago
- A Rust SDK and command-line tool for managing and controlling the mihomo proxy service. 一个用于管理和控制 mihomo 代理服务的 Rust SDK 和命令行工具。☆15Oct 19, 2026Updated last week
- This project process eBPF events into Prometheus metrics via a Go user-space application. A Grafana dashboard is included to visualize Ke…☆16Apr 22, 2025Updated last year
- A trust layer between AI agents and your codebase. 🚀 Enterprise AI Agent Ecosystem - 40 Claude Code subagents for strategic leadership, …☆17Aug 20, 2026Updated 2 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.
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- A powerful Python tool for downloading and transcribing videos from multiple platforms (TikTok, YouTube, Facebook, Instagram) using Parak…☆21Jan 10, 2026Updated 9 months ago
- The official repository of ICSME'23 paper "Exploring Security Commits in Python"☆19Jul 12, 2023Updated 3 years ago
- ☆15Jun 5, 2024Updated 2 years ago
- 备案脚本☆17Dec 8, 2021Updated 4 years ago
- Security papers about software vulnerabilities and exploits☆15Jan 16, 2019Updated 7 years ago
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week
- ☆13Mar 6, 2023Updated 3 years ago
- ☆45Apr 5, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A comprehensive ecosystem of AI-assisted development tools for modern software engineering☆17Feb 14, 2026Updated 8 months ago
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆23Jan 15, 2026Updated 9 months ago
- ☆19Feb 12, 2026Updated 8 months ago
- Claude Code skill for building Ableton Live extensions with @ableton-extensions/sdk — API & concept references, project templates, a with…☆20Jun 4, 2026Updated 4 months ago
- Using Mechanistic Interpretability to Craft Adversarial Attacks against Large Language Models☆16Oct 3, 2026Updated 3 weeks ago
- Code and experiments for the paper "A Partitioning Algorithm for Maximum Common Subgraph Problems"☆15Jun 17, 2020Updated 6 years ago
- ☆16Oct 11, 2024Updated 2 years ago