Lists (1)
Stars
Tiny ML, Rust types, and category theory, executable structure, not AI magic.
A TUI application for managing systemd services.
Chiasmus is an MCP server that gives language models access to formal verification
MCP-NixOS - Model Context Protocol Server for NixOS resources
A slightly opinionated Nix flake for ComfyUI with curated custom nodes. Supports macOS (Apple Silicon) and Linux with CUDA.
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a git repository (Github, Gitlab, Azure, Local) or…
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
Organise your shell scripts within executable markdown files
Unified querying, transformation, and modification of JSON, TOML, YAML, XML, INI, HCL, KDL and CSV.
CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.
Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite
magically playful, yet simple styling. all in one file.
Access large language models from the command-line
A simple shell wrapper function to allow emacs to read from stdin
A full-body keyboard using gestures to type through computer vision
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation