Local LLM test benchmark for x86 hardware
☆25Jun 23, 2026Updated 4 months ago
Alternatives and similar repositories for LTX-LLM
Users that are interested in LTX-LLM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Updated this week
- ☆12Oct 23, 2026Updated last week
- ☆10May 21, 2021Updated 5 years ago
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆21Oct 20, 2026Updated last week
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 11 months 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.
- A mobile minigame made under 20 days, focusing on runtime Procedural Content Generation (PCG), and fun .)☆15Oct 10, 2021Updated 5 years ago
- ☆14May 20, 2026Updated 5 months ago
- [ICCAD'26] Forbench: Symbolic Simulation Helps Make Your Testbench More Formal☆15Sep 8, 2026Updated last month
- JiBX core☆13Sep 30, 2025Updated last year
- Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown …☆15Jan 17, 2025Updated last year
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆18Oct 26, 2025Updated last year
- Implementation of Lift4d, Harmonizing Single-View 3D Estimation for 4D Reconstruction In-the-Wild, from Litman et al. of Carnegie Mellon☆15Jun 24, 2026Updated 4 months ago
- Fast GLM-4.7-Flash wrapper for Claude Code with Google Search MCP and Vision Proxy☆10Jan 30, 2026Updated 9 months ago
- Crypto Trading Bot. A special assistant for your cryptocurrency trading.☆15Aug 23, 2024Updated 2 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.
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆22Oct 10, 2026Updated 2 weeks ago
- ☆20Aug 8, 2024Updated 2 years ago
- acmeair which is forked from https://github.com/acmeair/acmeair☆10Oct 23, 2017Updated 9 years ago
- DeepSeek Agent 问题 POV repo.☆21Updated this week
- Video motion capture for rigged characters (tested on quadrupeds) from AI-generated two-view videos (local web app, DINOv2 + Blender)☆23Oct 22, 2026Updated last week
- A 32-bit MIPS processor which aims for conformance to the MIPS32 Release 1 ISA.☆20Jul 29, 2015Updated 11 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated 2 months ago
- RTLCheck☆26Oct 9, 2018Updated 8 years ago
- ☆23Mar 12, 2026Updated 7 months 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.
- ☆21Updated this week
- voice dataset for VTB for voice filter training.☆10Jan 25, 2023Updated 3 years ago
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆12Jun 12, 2024Updated 2 years ago
- Paper StoryCraft: 论文故事性打造，覆盖摘要、引言、方法、实验、科研图表与全文一致性审计的 12 个Skills。☆40Oct 20, 2026Updated last week
- Embed IPython to rescue your code.☆10Jul 11, 2025Updated last year
- Programs generated by ChatGPT☆27Jul 19, 2023Updated 3 years ago
- Web application that allows applying filters to images using OpenCV js☆18Jul 8, 2026Updated 3 months ago
- Apex-35B-V1.0 by Apex Intelligence☆44Updated this week
- 中英文敏感词、语言检测、中外手机/电话归属地/运营商查询、名字推断性别、手 机号抽取、身份证抽取、邮箱抽取、中日文人名库、中文缩写库、拆字词典、词汇情感值、停用词、反动词表、暴恐词表、繁简体转换、英文模拟中文发音、汪峰歌词生成器、职业名称词库、同义词库、反义词库、否定词库、汽…☆10Jun 20, 2019Updated 7 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.
- Multi-agent inference framework for RTL generation. A Verilog agent and a Python reference-model agent independently propose implementati…☆35Jul 27, 2026Updated 3 months ago
- Lydia: Who's Your Enemy in the Dark Forrest☆14Aug 24, 2025Updated last year
- 基于 B 站博主 黑鸦（Heya）视频标题的深度分析，让 AI 学会黑鸦的标志性风格：长标题、情绪炸弹、多事件合并。☆18Updated this week
- Custom software ecosystem for a drone, fully from scratch in Rust.☆12Feb 5, 2026Updated 8 months ago
- XiangShanLab is the open-source XiangShan ecosystem's entry layer — a learning, practice, and collaboration hub spanning the RISC-V proce…☆58Updated this week
- An Analysis of Public PPP Loan Data To Uncover Fraud☆16Feb 20, 2025Updated last year
- theoretical articles☆17May 24, 2024Updated 2 years ago