How do you get a group of people — each with their own interests and private information — to make a good collective decision?

Think of a DAO voting on a risky proposal. Some members want it approved because they’ll profit. Others think it’s too dangerous. Nobody shares the full picture. DMsim lets you test two fundamentally different answers to this problem.

The Two Mechanisms

🏦 Decision Markets

Agents trade shares on outcomes — like a mini stock market. The price of each share reflects the crowd’s collective belief about what will happen, and the market’s recommended action is simply whichever option the crowd bets will succeed.

🗳️ VCG with Rewards (VCGR)

Each agent submits a single number representing how much they value one option over another. A clever payment rule — the pivot mechanism — makes truth-telling the individually rational strategy. No coordination required.

LLM-Generated Agents

DMsim uses a large language model (Google Gemini or Groq) to generate a cast of realistic, conflicted participants. Each agent gets a name, a role, and a financial stake in each possible outcome — and the LLM builds their preferences to reflect both personality and self-interest.

The result feels much closer to a real governance vote than a random sample. Context and personalities are fully customizable.

A simplified Decentralized Autonomous Organization (DAO) designed for Real World Asset (RWA) governance, using the ERC-1155 standard. This project demonstrates how to tokenize assets, govern them using a DAO structure, and implements a specific use cases for Real Estate management.

Deployed Contracts (Testnet)

• RWAToken: 0x...
• RWAGovernor: 0x...
• Issuer: 0x...
• SmartRent: 0x...

A rental platform proof-of-concept built with Daml. This project demonstrates a lease management system featuring automated rent payments, maintenance issue reporting, and dispute resolution via arbitrators.

Features

• Lease Agreements: Manage rental contracts between landlords and tenants.
• Time Oracle: Automates time-dependent actions like rent due dates.
• Arbitration: Resolves disputes (e.g., maintenance issues) through designated arbitrators.
• User Interface: Java-based clients for users and arbitrators to interact with the ledger.

A command-line interface for Canton Network ledgers.

cnwla wraps the HTTP JSON Ledger API v2 with ergonomic commands, making it easier to interact with Canton Network ledgers from the terminal.

🚧 Status: Ongoing

A local TODO app built around the idea that capturing things should be as fast as copy-paste. Using a Hammerspoon shortcut (Cmd+Option+L), you can select any text in any app — a URL, a Slack message, a line of code — and it goes straight into your TODO list. No context switching, no opening a browser tab, no friction.

Everything runs locally.

How the Capture Works

1. Select text anywhere on your Mac
2. Press Cmd+Option+L
3. Hammerspoon copies the selection and pipes it into QuickTodo
4. A notification confirms the task was added — you never leave what you were doing

Features

• System-wide capture shortcut via Hammerspoon
• Clean, minimal interface
• Categories with color coding
• Filter tasks by category
• Links attached to tasks (captured automatically from browser on macOS)
• Runs 100% locally — your data stays on your machine