☆30Sep 4, 2026Updated last month
Alternatives and similar repositories for slm-harness-adaptation
Users that are interested in slm-harness-adaptation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Sep 9, 2026Updated last month
- Agent-assisted and full-agent reproducibility package for MLSys 2026 FlashInfer AI Kernel Generation Contest submissions: kernels, agent …☆24Jul 21, 2026Updated 3 months ago
- EverAlgo is the algorithm library behind EverMind's memory system — stateless, storage-free, focused on extraction and ranking only. Orch…☆31Oct 13, 2026Updated last week
- Using Jev as an evaluator.☆109Sep 23, 2026Updated 3 weeks ago
- An agentic context evolution approach for RTL coding☆36Sep 20, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18Sep 26, 2026Updated 3 weeks ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Zhuofan Lin and Shiju Lin, "GPU-Accelerated Efficient Transduction for Logic Optimization", Design, Automation & Test in Europe Conferenc…☆14Sep 19, 2026Updated last month
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 4 months ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆15Jan 9, 2026Updated 9 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- ☆10Sep 29, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- 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.
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 7 months ago
- egraph <-> json☆18Dec 29, 2025Updated 9 months ago
- A parallel native tool caling deep search agentic framework with base window retention observation masking context management.☆25Sep 22, 2026Updated 3 weeks ago
- Official code for the paper "A New Role for Relevance: Guiding Corpus Interaction in Agentic Search"☆59Oct 11, 2026Updated last week
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- 把任意网站蒸馏成一份 DESIGN.md —— AI 能直接读懂、用来生成符合品牌的界面的纯文本设计规范。Distill any website into a DESIGN.md — a plain-text design-system spec AI agents rea…☆27Jun 16, 2026Updated 4 months ago
- ☆16Jul 3, 2023Updated 3 years ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- ASIC Design kit for Skywater 130 for use with mflowgen☆16Mar 12, 2023Updated 3 years 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.
- AGX Dynamics for Unreal plugin.☆13Updated this week
- Autoware FMS based on Zenoh☆17Jul 21, 2026Updated 3 months ago
- UCSD ECE277 GPU Programming coursework: GPU-accelerated reinforcement learning on CUDA C with Nsight System☆15Aug 17, 2021Updated 5 years ago
- fast probabilistic symmetry detection on graphs☆22Aug 13, 2026Updated 2 months ago
- A taste of ReplicaR traffic simulation in a lighter version☆10Oct 7, 2026Updated last week
- 腾讯 WorkBuddy 生态资源精选清单：官方资源、技能插件、提示词工作流、教程、评测与对比☆114Aug 16, 2026Updated 2 months ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- Butler-Portugal algorithm for tensor canonicalization☆18Sep 26, 2026Updated 3 weeks ago
- ☆31Jul 24, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- C++ Implementation of reduced order binary decision diagram data structure☆13Nov 11, 2015Updated 10 years ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 3 years ago
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- A Nu shell for Zenoh: debug systems, write (end-to-end) tests and build powerful CLI tools☆23Oct 12, 2026Updated last week
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated 5 months ago
- SATZilla SAT feature extraction tool☆16Mar 23, 2026Updated 6 months ago
- ☆12Mar 31, 2025Updated last year