OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)
☆30Oct 8, 2026Updated last week
Alternatives and similar repositories for open-atp
Users that are interested in open-atp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reproducing agentic KV-cache policy claims on real traces. 68k requests from 393 Claude Code sessions. LRU is harder to beat than the pa…☆24Sep 10, 2026Updated last month
- ☆12Nov 22, 2022Updated 3 years ago
- ENGRAFT: write facts into an LLM's n-gram (Engram) memory table as a removable overlay: 100 facts in a 9 MB file, no weights touched, ver…☆56Sep 30, 2026Updated 2 weeks ago
- GPUMesh lets people you trust run Docker GPU jobs on your machine — and lets you run jobs on theirs — over authenticated peer-to-peer con…☆30Sep 14, 2026Updated last month
- ☆16Jul 15, 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.
- ☆27Sep 11, 2026Updated last month
- LeanEff is a small Lean 4 extensible-effects library☆22Updated this week
- LLM inference in C/C++☆26Sep 17, 2026Updated last month
- Merged into the Amecs project: https://github.com/Siphalor/amecs☆15Feb 22, 2026Updated 7 months ago
- ☆10May 10, 2024Updated 2 years ago
- A cool demo web app to show Node.js, Raphaeljs, socket.io, Express.js, Mongoose and MongoDB integration☆13Apr 11, 2015Updated 11 years ago
- RL agent using private and shared world models☆11Jun 12, 2023Updated 3 years ago
- ☆46Sep 5, 2026Updated last month
- Your Telegram channels as one timeline. An Android client built on TDLib.☆65Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Few async tools for nim (then, catch, finally, and more)☆16May 7, 2023Updated 3 years ago
- Upload of the LDraw parts library intended to be used for static file loading in github examples.☆16Apr 18, 2024Updated 2 years ago
- A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.☆19Feb 3, 2026Updated 8 months ago
- AWWsome-Toolkit is a collection of scripts and utilities spanning Android, Windows, and Web platforms. From automating Pixel boot patchin…☆31Sep 26, 2026Updated 3 weeks ago
- Qwen3.8-27b and Qwen3.6-35B-A3B local inference engine for Vulkan and Metal☆71Updated this week
- A Library for parsing an LDraw file☆13Oct 15, 2020Updated 6 years ago
- DroidClaw - Simple rework of openclaw as native android app☆35Oct 10, 2026Updated last week
- Multi-Tenancy in Azure Kubernetes Service Guide☆10Feb 26, 2021Updated 5 years ago
- Custom firmware for the GeekMagic SmallTV that replaces the stock apps with four modes: a stock/crypto ticker, a Claude usage meter, a li…☆127Updated this week
- 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.
- ☆39Jul 23, 2026Updated 2 months ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated last year
- LUMI containers - recipes and build/tests infrastructure.☆10Mar 18, 2025Updated last year
- XML-Lib is an over-engineered XML playground with a canonical lifecycle, a guardrail subsystem, Hilbert-backed proofs, and PPTX workflow …☆19Nov 17, 2025Updated 11 months ago
- A Python package for converting 3D models (STL) into LEGO-like brick structures, generating necessary support structures, and visualizing…☆16Apr 3, 2025Updated last year
- A modular approach to WebGL programming☆20Feb 3, 2014Updated 12 years ago
- Art of material design.The daily transaction recoder app in flutter,with custom person balance feature and auto transaction detection fea…☆25Sep 14, 2026Updated last month
- TenSeiGram - A third-party Telegram client for Android with useful modifications and extra features.☆28Oct 4, 2026Updated 2 weeks ago
- Note — Telegram-style desktop notes app (PySide6/Qt6) with P2P sync and local encryption☆58Jul 28, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- JSON in Nim with Go-like field tags.☆20Nov 9, 2024Updated last year
- A beautiful, modern, cross-platform productivity workspace and note-taking application designed to keep your tasks, projects, college not…☆24Jun 17, 2026Updated 4 months ago
- Wire v9: from-scratch ultra-low-latency HFT stack in Rust and C. 24 crates: TCP/IP, AF_XDP, VFIO PCIe DMA, LMAX Disruptor, AVX2/AVX-512 S…☆82Updated this week
- eBPF LSM based Mandatory Access Control and jailer☆86Updated this week
- System-wide Lean input method☆13Feb 16, 2022Updated 4 years ago
- use some streams with your pouches☆21Mar 30, 2015Updated 11 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Nov 1, 2022Updated 3 years ago