๐ฅค Minimal agent skills grounded in the suckless philosophy
โ18Apr 6, 2026Updated 5 months ago
Alternatives and similar repositories for suckless-agent-skills
Users that are interested in suckless-agent-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Your infra is basically a CDN now: Precision engineered static asset deliveryโ17Jun 21, 2025Updated last year
- Rust SDK for building AI agents with local OpenAI-compatible servers (LMStudio, Ollama, llama.cpp, vLLM). Features streaming, tools, hookโฆโ25Updated this week
- An English translation of Deligne's three "Hodge theory" papersโ15Feb 7, 2026Updated 7 months ago
- My Agda/Mikan stuffโ13Aug 29, 2026Updated 2 weeks ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -โฆโ13Sep 22, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Extra and extended datatypes for Lean 4โ12Nov 12, 2022Updated 3 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posetsโ13Aug 19, 2024Updated 2 years ago
- Experimental remote DuckDB Quack protocol client for Elixir, built on DBConnection with early Ecto supportโ21Updated this week
- Calculate mean of pairwise weighted distances between points using great circle metric.โ11Jul 6, 2023Updated 3 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ14Dec 4, 2024Updated last year
- Library for proving propositions quantified over finite setsโ15Sep 21, 2022Updated 3 years ago
- A generic Either type implementation for Rustโ14Jan 4, 2023Updated 3 years ago
- Zed extension for Exa's MCP serverโ27Mar 11, 2026Updated 6 months ago
- Higher Algebra with Opetopic Typesโ16Mar 30, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Coq development of the theory of Indexed W types with function extensionality.โ11Sep 13, 2017Updated 9 years ago
- Open-source trading tools (MQL5 & NinjaTrader) + DeFi crypto bot + AlgoSphere Quant showcaseโ46Jul 11, 2026Updated 2 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensorsโ14Oct 14, 2025Updated 11 months ago
- A Lean 4 package for heavy numerical computationsโ20Jan 16, 2022Updated 4 years ago
- A modern, scalable web application for obfuscating prompts to bypass AI detection systems.โ31Nov 5, 2025Updated 10 months ago
- Wait for async tasksโ13Dec 22, 2022Updated 3 years ago
- โ12Nov 21, 2024Updated last year
- AI coder powered by open source LLMsโ11Nov 28, 2024Updated last year
- the enlightened pager. less paging. more content. read widely.โ22Mar 23, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer โข AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A formalization of the theory behind the mugen libraryโ20Jul 5, 2026Updated 2 months ago
- Portable Memory Harness for Agents. Grounding the Autonomous Eraโ124Aug 11, 2026Updated last month
- ๐ง kado ใซใ: Cofibrations in Cartesian Cubical Type Theoryโ22Nov 20, 2025Updated 9 months ago
- Composable intrincially-typed definitional interpretersโ17Nov 13, 2022Updated 3 years ago
- Organize mathematical thoughtsโ21Oct 6, 2023Updated 2 years ago
- neovim plugin that lets you switch databases on demand or execute queries on different connectionsโ18Aug 3, 2022Updated 4 years ago
- Alsa Modular Synthโ12May 9, 2013Updated 13 years ago
- For The Watts: configurable power saving script with udev rules.โ16Jan 31, 2014Updated 12 years ago
- โ16Feb 9, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI โข AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.โ20Feb 26, 2021Updated 5 years ago
- zero-knowledge file sharingโ34Jul 1, 2026Updated 2 months ago
- Vim colour scheme based on the bat command-line toolโ16Nov 14, 2022Updated 3 years ago
- Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CIโ28Aug 14, 2026Updated last month
- A curated list of tools for building AI with rich context from screen recordings, audio, and personal dataโ28Jun 3, 2026Updated 3 months ago
- โ16Apr 14, 2016Updated 10 years ago
- โ17Sep 1, 2026Updated last week