Typed knowledge infrastructure for continuous learning. Verifiable, traceable, auditable agent-produced findings.
☆19Oct 25, 2026Updated last week
Alternatives and similar repositories for proofpress
Users that are interested in proofpress are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TRACE protocol for auditing decision-provenance in AI-assisted scientific workflows☆25Updated this week
- Simple wiki for the org☆12Jan 28, 2019Updated 7 years ago
- ☆10May 10, 2026Updated 5 months ago
- Verifiable, multiplayer coding agents 🤖🦾☆22Updated this week
- Game Engine and Level Editor☆18Jul 30, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Model for serving venti☆10Dec 8, 2022Updated 3 years ago
- A retro disassembler for the 8088, 8086, V20, V30, 80286 and 80386☆12Aug 7, 2026Updated 2 months ago
- The original, unmodified MicroPro WordStar Professional Release 4 from 1987. Desktop version consists of original binaries wrapped in DOS…☆22Oct 3, 2026Updated 3 weeks ago
- Conway's 'Game of Life' simulation☆17Mar 20, 2021Updated 5 years ago
- ☆13Sep 7, 2026Updated last month
- Validates MD5/SHA1 CheckSums on the command line.☆18Dec 22, 2025Updated 10 months ago
- fasm68k - Motorola 68000 instruction set for fasmg (flat assembler g)☆11Dec 18, 2025Updated 10 months ago
- A Clojure wrapper for the Coinbase Pro API (formerly GDAX)☆23Sep 29, 2021Updated 5 years ago
- A tool that takes an image based content article and automatically generates a motion video out of it.☆20Jul 18, 2022Updated 4 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.
- Duckdb-based MCP server for datasets☆22Oct 26, 2026Updated last week
- teensy elf executable (64 bit)☆13May 19, 2013Updated 13 years ago
- ☆10Jan 3, 2024Updated 2 years ago
- ☆20Nov 9, 2015Updated 10 years ago
- macOS desktop app: passive screen observer that suggests AI-automatable workflows.☆63Sep 12, 2026Updated last month
- TRACE: Trust Runtime Attestation and Compliance Evidence. Open attestation standard for agentic AI governance.☆43Updated this week
- ☆19May 31, 2026Updated 5 months ago
- Study group working through Black Hat Python: https://www.nostarch.com/blackhatpython☆15Jun 8, 2017Updated 9 years ago
- Desktop application for Claude AI☆16Jan 22, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- C4B Quick-Start Guide - Supporting Scripts☆24Oct 6, 2026Updated 3 weeks ago
- DryDock is a framework that creates specialized AI agents for business and productivity roles. It acts as an intelligent "shipyard" where…☆25Oct 10, 2025Updated last year
- This repository holds all course materials for the fall 2016 offering of Statistics 238 (Bayesian Statistics) at UC Berkeley.☆31Nov 29, 2016Updated 9 years ago
- A simulation platform for various educational researches.☆22Apr 8, 2026Updated 6 months ago
- ☆15Feb 24, 2024Updated 2 years ago
- A native, harness-neutral workspace for agent sessions, task graphs, diffs, and durable work — Pi first, Codex and Claude next.☆14Sep 29, 2026Updated last month
- ☆26Dec 2, 2017Updated 8 years ago
- NuGet Enhanced for Chocolatey☆31Mar 18, 2026Updated 7 months ago
- Reverse text segment x64 ELF infector written in Assembly☆21Oct 16, 2021Updated 5 years ago
- 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.
- TemperPaw — Agent daemon built on Temper platform☆12Updated this week
- Pi extension wrapping graphify CLI for knowledge graph generation and exploration☆12May 27, 2026Updated 5 months ago
- DSPy-native autonomous AI agent runtime — describe your goal, Arachne weaves the agent graph, executes with full observability, and evolv…☆12Sep 18, 2026Updated last month
- This project shows how to train a language-recognizer from scratch that is able to distinguish between German and English, robustly.☆12Dec 17, 2020Updated 5 years ago
- A native desktop GUI for the Beads issue tracker, and OpenSpec spec framework. Visualize dependencies, track velocity, and browse OpenS…☆13Oct 16, 2026Updated 2 weeks ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Oct 18, 2022Updated 4 years ago
- A standalone, personality-driven multi-agent workspace application written in C, & C++☆53Aug 27, 2026Updated 2 months ago