Persistent file-based planning for AI coding agents and long-running tasks. Crash-proof markdown plans, session recovery after /clear and compaction, per-turn re-injection against context rot, deterministic completion gate. Manus-style. Install from npm, the Claude Code plugin marketplace, or npx skills. Codex, Cursor, OpenCode, 60+ agents.

bendlang /bend

TypeScript25K792

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

bend
cuda
dependent-types
gpu

rlabbe /Kalman-and-Bayesian-Filters-in-Python

Jupyter Notebook19K4.5K

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.

languagetool-org /languagetool

Java15K1.6K

Style and Grammar Checker for 25+ Languages

grammar
natural-language
natural-language-processing
style-checker

Chia-Network /chia-blockchain

Python11K2.1K

Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)

chia
blockchain
blockchain-network
proof-of-space

codenotary /immudb

Go9K383

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

key-value
immutable
merkle-tree
go

rocq-prover /rocq

OCaml5.7K771

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

proof-assistant
coq
theorem-proving
dependent-types

standardrb /standard

Ruby2.9K232

Ruby's bikeshed-proof linter and formatter 🚲

formatter
linter
rubocop
ruby

nerves-project /nerves

Elixir2.5K206

Craft and deploy bulletproof embedded software in Elixir

elixir
nerves
embedded

pydio /cells

Go2.3K233

Future-proof content collaboration platform

filesharing
golang-application
microservices

dagoSte /squadra

Python1.3K103

Coordinate Claude, Codex and Cursor windows with shared tasks, acknowledgements, prechecks, parallel tests, source-bound proofs and independent review. Built-in skills recall lessons, simplify code and forecast work. Track progress, decisions and evidence in a bilingual local dashboard, with MCP plugins. Browse skills and verified security audits.

mostafatouny /awesome-theoretical-computer-science

Python1.2K75

Math & CS awesome List, distinguished by proof and logic technique

ipfs-shipyard /ipfs-deploy

JavaScript1.2K117

Old (2022) proof of concept: Zero-Config CLI to Deploy Static Websites to IPFS

ipfs
dnslink
pinning
deploying

gnolang /gno

Go1.1K466

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

gno
gnoland
gnolang
bft

eness /php2shell-CVE-2026-109618-CVE-2026-109619-PoC

Shell1.1K268

Proof-of-Concept (PoC) exploit for php2shell (CVE-2026-109618 / CVE-2026-109619), demonstrating remote code execution in vulnerable PHP environments. For security research and educational purposes only.

MaxHu-xuan /artifactproof

Python98312

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

artifact-integrity
pptx
python
supply-chain-security

mixcore /mix.core

C#888223

🚀 A future-proof enterprise web CMS supporting both headless and decoupled approaches. Build any type of app with customizable APIs on ASP.NET Core/.NET Core. Completely open-source and designed for flexibility. Since 2018.

dotnet
asp-net-core
dotnet-core
dotnetcore

sno-ai /sno-station-skills

Shell861611

Sno Station Skills: 31 tested skills that turn Claude Code and Codex into one working team. Cross-vendor peer review, automatic handoff when an agent hits its quota, a one-page morning brief, work orders with proof, and a nightly loop that learns from your own sessions. Open source, installed with one sno setup.