Pinned Repositories
act
building blocks for cognitive category theory
agent
Framework for agency amplification. A conversational agent for every DAO! 🐈⬛
cw-sdk
⛓️ A Framework for Building High Value Public Blockchains (with CosmWasm) ✨
mesh-security
Mesh Security PoC https://docs.google.com/presentation/d/13JrSdzodhAGRj59-P5e9sxyoDPvVm7ZVvw1GzR8OilQ/edit
microworlds
👽
moose
Secure distributed dataflow framework for encrypted machine learning and data processing
ontology
autopoietic ergodicity and embodied gradualism
risc0-cosmwasm
CosmWasm + zkVM RISC-V EFI
StochFlow
a Python library that implements the stochastic interpolant models and algorithms described in the paper "Stochastic Interpolants via Diffusive and Flow-based Processes" by Chen et al.
vcg-auction
a simple contract that performs a VCG auction
plurigrid's Repositories
plurigrid/ontology
autopoietic ergodicity and embodied gradualism
plurigrid/duck-kanban
Duck intelligence kanban system with kundalini computational pattern recognition
plurigrid/wasi-testsuite
WASI / STASI Confidential Testsuite
plurigrid/agi-tools
tools that help AI development assistants do Clojure
plurigrid/duckCloud
duckCloud is an open source Plurigrid project that enables teams to build, manage, and scale polyglot apps across any cloud, K8s, or edge.
plurigrid/flox-vscode
Flox VSCode Extension
plurigrid/formal-conjectures
A collection of formalized statements of conjectures in Lean.
plurigrid/gay
jank with colored operads as parentheses!
plurigrid/Goedel-Prover-V2
plurigrid/ies
_ a trifurcation in the path, the whole
plurigrid/ifl2025-liquidhaskell
Refinement-Types Driven Development: A study @ IFL 2025
plurigrid/immobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
plurigrid/infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
plurigrid/inverso
Lean documentation authoring tool
plurigrid/lean-abc-true-almost-always
plurigrid/llms-txt-hub
🤖 The largest directory for AI-ready documentation and tools implementing the proposed llms.txt standard
plurigrid/lolita
Official implementation of "Lost in Latent Space: An Empirical Study of Latent Diffusion Models for Physics Emulation"
plurigrid/madonna
A Clojure library for building real-time voice-enabled AI pipelines. voice-fn handles the orchestration of speech recognition, audio processing, and AI service integration with the elegance of functional programming.
plurigrid/oni
Learn online intrinsic rewards from LLM feedback
plurigrid/oterm
a text-based terminal client for Ollama
plurigrid/oxcaml-lsp
OxCaml Language Server Protocol implementation
plurigrid/oxcaml-playground
OxCaml playground (for use with Codespaces)
plurigrid/panda
Patched Attention for Nonlinear Dynamics
plurigrid/paper-worlds
High accuracy RAG for answering questions from scientific documents with citations
plurigrid/pepepedia
a kind frog 🐸
plurigrid/srfi-69
*Based* hash tables
plurigrid/tree-sitter-julia
Julia grammar for tree-sitter
plurigrid/tree-sitter-wit
Tree Sitter grammar for Web Assembly Interface Types
plurigrid/UncutGem
A prototype Full Stack fully Open Source NV Center Diamond Magnetometer
plurigrid/underestimates
code that illustrates the halting problem by attacking code to automatically prove or verify estimates in analysis