TypeScript compiler and JavaScript engine in Lean

Orchestrate coding agents remotely from your phone, desktop and CLI

🌍 P2P Network Routing Overlay designed for the Web platform (browsers)

Run a 1-billion parameter LLM on a $10 board with 256MB RAM

Perfect Green Screen Keys

nono - a capability-based, multiplexing sandbox tool, built for developers - lift'n'shift seamless path to prod. Run agents securely without needing any additional infra, zero setup, zero latency.

Manage your macOS using Nix

The Bluesky Social application for Web, iOS, and Android

IronClaw is an Agent OS focused on privacy, security and extensibility

MCP server for Prosperous Universe game data provided via the FIO API

🗝️🐝✨ Rust workspace for Keyhive and related crates

CLIs in the browser & terminal.

Heavy Duty Persistence for Lua 5.2 and 5.3

Sybil-Tolerant Reputation for Merit-based Tokenomics

A native implementation of TLS in Javascript and tools to write crypto-based and network-heavy webapps

A proof-of-concept TypeScript TLS 1.3 client

A TLS client implementation in typescript

A curated list of JavaScript/ECMAScript runtimes, app frameworks, and engines.

Zork I (Microcomputer Version) by Infocom

🌈 React for interactive command-line apps

Yoga is an embeddable layout engine targeting web standards.

An unofficial rules engine for the world's greatest card game.

Nvidia GPU exporter for prometheus using nvidia-smi binary

Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.

Fact Graph

KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)

just my .dotfiles