RPA paradise - robotic process automation toolkit

IPFS nodes in Kubernetes with ZeroTier overlay network

Normalize VAE-decoded image datasets for training AI artifact detection models with formal verification guarantees and RSR (Rhodium Standard Repository) compliance.

Web-Native Interactive Theorem Proving - ReScript + Deno interface for Coq proof assistant

Julia toolkit for Hackenbush positions and combinatorial game theory from Bartlett's guide

A Rust implementation of Liquid State Machines (spiking neural network reservoirs) for temporal pattern recognition.

Provably reversible file operations through maximal principle reduction - data loss architecturally impossible

Gallery of LLM patterns and implementations

Personal Finances for the Future - as it SHOULD be.

Cross-platform document editor with format tabs

Dependently-typed Glyph Query Language

Digital privacy through controlled identity proliferation

Neurosymbolic theorem proving platform with 12 prover backends

Local-first state graph for multi-agent orchestration

Consent-first audit-grade bastion with oDNS and GraphQL DNS

Type-safe URL routing for ReScript applications with Elm-style parser combinators

My is a modern, first class AI programming language designed with progressive complexity. Start with the clarity of Python or Go, and grow into the expressive power of Ada, Rust, or Zig - without the steep learning curve. My is the language that grows with you.

Oblibeny BOINC Platform for distributed computing projects

SLM-as-Cerebellum for LLM Policy Enforcement - biologically-inspired GO/NO-GO gating

Oblivious computing ecosystem - privacy-preserving computation tools