Git-safe CLI for syncing Overleaf CE projects.
☆31Oct 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for texleaf-sync
Users that are interested in texleaf-sync are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bivor — a macOS desktop workbench for the pi coding agent☆207Aug 18, 2026Updated 2 months ago
- https://szrouter.shop/☆82Jul 23, 2026Updated 3 months ago
- RogerAI - a two-way radio for GPUs: a marketplace for self-hosted LLMs (CLI + broker + site).☆176Updated this week
- Build stateful agent workflows with typed outputs, reusable tools, session forks, and ordinary TypeScript.☆102Oct 13, 2026Updated 2 weeks ago
- Official Go implementation of the IoTeX protocol☆67Aug 13, 2026Updated 2 months ago
- 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.
- Native Rapid-MLX provider for DeepSeek Harness (dsh) — dsh reads model facts from the server instead of your settings.yaml.☆70Aug 19, 2026Updated 2 months ago
- 关键词：ROBOCON、四足、四轮足、仿生足式、强化学习、RL、Mjlab、Mujoco、Odin1、sim2sim、sim2real。☆159Sep 16, 2026Updated last month
- https://szexpress.org/☆60Apr 15, 2026Updated 6 months ago
- Open-source MCP server for comparing products and asking the buyer before purchase.☆1,205Aug 22, 2026Updated 2 months ago
- Complete zone scan of NICENIC INTERNATIONAL GROUP CO., LIMITED (IANA #3765, China) — 376,687 domains tracked. 82,576 classified IOC (35,9…☆123Updated this week
- Curated reusable skills, workflows, and tool-backed capabilities for AI agents.☆104Aug 1, 2026Updated 2 months ago
- 面向 A 股研究工作流的轻量量化研究工作台 · 情绪指标 / Excel 历史主表 / 飞书卡片 / FastAPI / React☆43Aug 25, 2026Updated 2 months ago
- Flash an old-firmware Jetson Orin Nano to JetPack 7.2 on NVMe with only a Mac + one USB stick — no x86 host, no SD card. Firmware workaro…☆86Jul 27, 2026Updated 3 months ago
- Discord Analytics Dashboard☆72Updated 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.
- Local-first desktop control center for OpenAI Codex — sessions, models, tokens, accounts, providers, and AGENTS.md.☆52Sep 5, 2026Updated last month
- Production-grade recipe for DeepSeek-V4-Flash-0731 (284B MoE) on 2x NVIDIA DGX Spark: self-healing 2-node vLLM cluster, reboot-verified, …☆176Aug 14, 2026Updated 2 months ago
- Official implementation of PhiZero: A World Model Built Around Physical Language. Code and checkpoints coming soon.☆474Aug 29, 2026Updated last month
- Architecture diagrams and checkable docs from your codebase — ERD, C4, API and lifecycle — generated from Prisma, OpenAPI or GraphQL. One…☆388Oct 20, 2026Updated last week
- A multi-model Muse: personal AI voice assistant on ESP32 - wake word or knob, any OpenAI-compatible brain (STT/chat/TTS mix-and-match), s…☆256Oct 19, 2026Updated last week
- Autonomous drone horn-fly laser defense for cattle farms☆84Jun 1, 2026Updated 4 months ago
- 🍻 Default formulae for the missing package manager for macOS (or Linux)☆66Oct 19, 2026Updated last week
- CCK 账号管理器 — 添加自定义账号，批量管理 AI 编程工具账号额度，一键启动客户端☆113Oct 10, 2026Updated 2 weeks ago
- This repository contains IoTeX Improvement Proposals, detailing standards and protocols for the IoTeX blockchain. It is designed for the …☆56Aug 25, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Fast and procedurally generated side-scroller-game-like graphical environments (formerly Procgen)☆654Oct 5, 2026Updated 3 weeks ago
- MCP server for Reqable local capture data☆237May 10, 2026Updated 5 months ago
- 🕳️ VOID — Terminal emulator written in hexa-lang.☆116Jul 31, 2026Updated 2 months ago
- ☆109Jul 21, 2026Updated 3 months ago
- 💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint☆195Jul 31, 2026Updated 2 months ago
- Multi-objective multi-agent API and environments☆380Oct 9, 2026Updated 2 weeks ago
- ☆78Jun 26, 2026Updated 4 months ago
- Phase II evidence package: complete-zone scan of ICANN registrar #4318 Trustname.com / Fewmoretaps OÜ — 15,040 domains tracked, 4,276 cla…☆108Updated this week
- A highly configurable and efficient DHCP Server with multiple features☆46Jul 16, 2026Updated 3 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.
- ☆56Updated this week
- EverRoom - A workspace that remembers your projects, decisions, and sources.☆2,979Updated this week
- Best ready-to-run DeepSeek Harness distribution: DSH desktop GUI, DSH terminal TUI, and harness integration.☆166Sep 3, 2026Updated last month
- 🧠 Living Consciousness Agent — PureField repulsion-field engine · Engine A ⇄ Engine G · Ψ=1/2 fixed point · 2,448 laws + 392 hypotheses☆148Aug 14, 2026Updated 2 months ago
- CCB · AI 编程助手一键配置 —— 把 Trae / Qoder / CodeBuddy / WorkBuddy / Cursor / ZCode 等客户端一键接入 CCB：全部模型自动写入、自动设为默认、自动启动（仅桌面客户端开源）☆61Oct 20, 2026Updated last week
- PettingZoo and Gymnasium bindings for popular reinforcement learning environments outside of Farama☆932Updated this week
- 非自回归System 1决策引擎，专为结构化类型决策场景设计 DeepOpen Multilingual, non-autoregressive System 1 decision engine.☆3,082Updated this week