Agent Git: Agent Version Control, Open-Branching, and Reinforcement Learning MDP for Agentic AI. A Standalone Agentic AI Infrastructure Layer for LangGraph Ecosystems
☆88Apr 21, 2026Updated 5 months ago
Alternatives and similar repositories for Agent-Git
Users that are interested in Agent-Git are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages☆20Jun 11, 2026Updated 3 months ago
- ☆13Jan 22, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Connecting bv_decide to SMTLIB.☆19Aug 27, 2026Updated last month
- A TEE programming framework based on trusted functions.☆14Mar 23, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Updated this week
- This is the official code for UGTs.☆13Feb 8, 2023Updated 3 years ago
- Source code for the paper 'Uncovering Neural Scaling Laws in Molecular Representation Learning' (NeurIPS 2023 Datasets and Benchmarks).☆14Dec 2, 2023Updated 2 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- universal Association Rule Mining Solver☆15Dec 10, 2025Updated 9 months ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated 2 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.
- Python version of tools to work with AIG formatted files☆13Sep 7, 2026Updated 2 weeks ago
- zkSnark circuit compiler☆13Aug 5, 2026Updated last month
- A tool for checking the contract satisfaction for hardware designs☆12Jul 21, 2026Updated 2 months ago
- ☆16Jul 3, 2023Updated 3 years ago
- This respository is used for time reasoning task for mult-session dialogue system.☆18Feb 7, 2026Updated 7 months ago
- Official PyTorch implementation of The Linear Attention Resurrection in Vision Transformer☆15Sep 7, 2024Updated 2 years ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- ☆12Jun 5, 2025Updated last year
- LLM4HWDesign Starting Toolkit☆20Oct 4, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- the code of MoG☆23Aug 6, 2024Updated 2 years ago
- Clustering, Learning and Approximation of Manifolds☆22Apr 9, 2026Updated 5 months ago
- Entropy-Driven GRPO with Guided Error Correction for Advantage Diversity☆22Aug 28, 2025Updated last year
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- ☆11Mar 31, 2023Updated 3 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 5 years ago
- ☆17Feb 5, 2026Updated 7 months ago
- ☆20Dec 24, 2024Updated last year
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆19Feb 9, 2026Updated 7 months ago
- ☆15Oct 8, 2024Updated last year
- Official Repository for SlideGen - ACM MM 2026☆17Jun 1, 2026Updated 3 months ago
- ANFIC: Image Compression Using Augmented Normalizing Flows☆11Dec 31, 2021Updated 4 years ago
- A boundary detection algorithm in microscopic images considering 3D information.☆12Sep 19, 2018Updated 8 years ago
- 🇨🇳翻译: 「rust-ffi-omnibus」 将 Rust 代码 导出, 应用于 其他语言 的例子集合 ❤️更新 ✅☆12May 16, 2019Updated 7 years ago
- 本人为同济大学21级数据科学与大数据技术专业本科生，于2023年春季前往台湾大学电机资讯学院资讯工程学系交换一个学期，以下是我学习os专业课的作业。☆11Jun 15, 2023Updated 3 years ago