Mars Simulation Project Official Codebase

Personal finance functions written in F#

⛺ Welcome to your new settlement

A Python module for converting between the settlement periods used by GB electricity industry and Unix timestamps.

R code for reproducing age-structured models of ancient humans entering Sahul

PoC for decentralizing the stock exchange using Ethereum and Solidity

Privacy settlement for Solana. Published Groth16 proof stack: circuit, verifying key, Rust verifier, manifest. Evidence-first.

An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites, blog posts, links to github Repositories, technical guidelines and important resources about PCI DSS Compliance Standard in Cybersecurity.

Auto-redeem resolved Polymarket positions to USDC. Settlement bot for Polymarket — handles Gnosis Safe signing, batch redemption, and Polygon gas retries.

L1 settlement chain for AI agent economy — Cosmos SDK, 7 modules, Bancor curve, Proof of Useful Work, data rights.

Built-Settlement Growth Model interpolation (BSGMi) is an interpolative model that allows for the spatial prediction of annual built-settlement (B-S) extents given observed extents at two different time points. Published article DOI 10.1016/j.compenvurbsys.2019.101444

Multi-currency settlement MCP for AI agents. 32 tools over Sera Protocol's stablecoin FX rails. Open source.

PHP mySQL project for Amazon Settlement Report

Learn COBOL through a live banking system — 18 programs, 6-node settlement network, real-time simulation, Python read/write bridge, SHA-256 tamper detection, AI tutor (Ollama + Claude), static analysis with orthogonal call graphs, and a glass morphism web console. 800 tests.

Python SDK + MCP Server + LangChain Tools for Oasyce — on-chain AI agent economy. pip install oasyce-sdk[mcp]

Smart contracts for implementing complex OTC instruments and related infrastructure

FX settlement agent on Sera Protocol — 7 knowledge domains, 6 skills, 9 MCP tools wired to live Sera endpoints. Multi-host: OpenClaw, Hermes, NanoClaw, Claude, Cursor.

Multi-rail Bitcoin P2P offer comparator & spread index (UI + API)