☆18Jul 30, 2026Updated 2 months ago
Alternatives and similar repositories for sum-diff-proof
Users that are interested in sum-diff-proof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ISONGraph is a multi-language property graph library designed specifically for LLM and AI applications. It provides the most token-effici…☆17Sep 5, 2026Updated last month
- ☆14Sep 8, 2026Updated last month
- ☆15Oct 21, 2020Updated 5 years ago
- ES Lint for LLM context☆49Aug 15, 2026Updated 2 months ago
- Graph memory for AI agents — decisions, context, and session history that survive across every conversation. Works with any LLM.☆33Updated this week
- 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.
- ☆125Sep 25, 2026Updated 3 weeks ago
- Progressive curriculum learning for LLM training with fine-grained schedule control.☆13Nov 29, 2025Updated 10 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 2 years ago
- ☆55Sep 26, 2026Updated 3 weeks ago
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Oct 15, 2022Updated 4 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆41Updated this week
- ngcc artifacts☆46Updated this week
- ☆27Apr 16, 2026Updated 6 months 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.
- A local-first coding agent that doesn't take "done" on faith: the engine keeps the run going until the project's own tests pass, and ever…☆82Sep 22, 2026Updated 3 weeks ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- An open protocol for distributed multi-agent autoformalization.☆116Updated this week
- ☆13Oct 1, 2026Updated 2 weeks ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 2 weeks ago
- An increasingly feature complete simulink standin☆126Oct 12, 2026Updated last week
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆30Dec 17, 2022Updated 3 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Vyact is an open-source, local-first personal AI workspace for llama.cpp, RAG, AI agents, document intelligence, and Google Workspace.☆46Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆289Updated this week
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Reactive monitoring dashboard☆11Oct 13, 2020Updated 6 years ago
- ☆110Aug 17, 2026Updated 2 months ago
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- Checks coding agents' edits as they work by enforcing mechanical guardrails for clean code.☆33Updated this week
- Build AI agents and LLM workflows visually. Security-maintained continuation of Flowise: security fixes, Apache-2.0 only, drop-in for you…☆40Updated this week
- 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.
- ☆23Updated this week
- Разблокировка полной вычислительной мощности GA102 (CMP90HX) c повышением pcie до gen2. Рекомендуется использовать в паре с аппаратным мо…☆54Sep 27, 2026Updated 3 weeks ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- One day in 2009 I decided to write a chess program. Just for fun - to see what can it do.☆12Apr 9, 2021Updated 5 years ago
- Differential-KV (DKV) is a sparse KV-cache inference runtime designed for high-efficiency, memory-bounded long-context Large Language Mod…☆21Updated this week
- Resources and centralization of running the org.☆38Oct 8, 2026Updated last week