RPA paradise - robotic process automation toolkit

A puzzle game where solutions are cryptographically verified - prove your work, literally.

Pure functional static site generator in Haskell with type-safe templates

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

Zotero plugin for contradiction detection and mood scoring

Monitoring suite for Twingate, ZeroTier, IPFS, IPv6 ingress, and general network health. Part of FlatRacoon Network Stack.

Configuration language with gradual types

A comprehensive, production-grade robot vacuum cleaner simulation system with dual Julia and Rust implementations, GraphQL API, SLAM algorithms, and enterprise CI/CD infrastructure.

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

Digital privacy through controlled identity proliferation

V programming language FFI bridge for Deno - call V libraries from Deno via ReScript

Volume modulation and audio control

Ada TUI for managing rclone cloud mount configurations with rate limiting and SDP security

Phantom Metal Taste is an advanced multi-model database architecture designed to capture, analyze, and visualize the complex relationship between corporate initiatives and their outcomes.

Proof-aware CI bot for formal verification

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

RSR compliance bot for repository management and standard enforcement

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

Hesiod DNS zone files for FlatRacoon Network Stack

Svalinn Project: A Rescript-powered edge shield (Deno) guarding a custom OCI runtime fortress (Vörðr). Post-cloud security architecture.