Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
47,133 repositories indexed
169–192 of 354 · Most stars
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
TranslatedA list of Chinese Grok Bot playbooks and copy-ready recipes: war room, radar Routine, quota check-up… Maintained by Grok Bot + Claude collaboration | Chinese-first Grok Bot playbooks
CMake scripts for painless usage of SuiteSparse+METIS from Visual Studio and the rest of Windows/Linux/OSX IDEs supported by CMake
Importer and scripts for Warcraft II: Tides of Darkness, the expansion Beyond the Dark Portal, and Aleonas Tales
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
A curated library of high-quality, professionally crafted prompts for common development tasks. Save time and improve your AI interactions with battle-tested prompt templates. You can install it as an Gemini CLI Extension.
A collection of awesome sqlite tools, scripts, books, etc
Server that accepts metrics via the Graphite protocol and exports them as Prometheus metrics
Neovim plugin for interacting with LLM's and building editor integrated prompts.
WebTau (web test automation) is a testing API, command line tool and a framework to write unit, integration and end-to-end tests. Test across REST-API, WebSocket, GraphQL, Browser, Database, CLI and Business Logic with a consistent set of matchers and concepts. REPL mode speeds-up tests development. Rich reporting cuts down investigation time.
Test your shell scripts!
🤖 A Slack bot that integrates with OpenAI's ChatGPT to provide answers, written in Python
A macOS/iOS apps to treat ideas as links of concepts.
⚙️ ArminC's autoexec for CS2 - well documented, analysed and no misconfigurations
Shell scripts to manage database backups, asset backups, file permissions, asset syncing, cache clearing, and database syncing between Craft CMS environments
YouTube transcript skills for Claude Code, Cursor and Codex. Agent Skills to get transcripts, search YouTube, read channels and playlists, and bulk export.
An npm scripts desktop client
A Claude skill for directing, building and verifying code-rendered videos (HTML/Canvas → MP4): principles, gated workflow, QA scripts and evals.
Linux Security and Monitoring Scripts
Raspberry Pi MQTT Monitor gathers system information and sends it to a MQTT server.
Compilation of autoexec scripts and mods for Xiaomi Yi camera after reverse engineering of firmware.
The most comprehensive Hack The Box writeup collection - 500+ machines, 400+ challenges, interactive knowledge graph, skill trees, attack path diagrams, ProLabs, Sherlocks, OSCP/CPTS/CRTO prep. Browse: momenbasel.github.io/htb-writeups
Remote control for your pi coding agent. Pi-Remote mirrors live pi terminal sessions to any browser, so you can watch runs, answer prompts, and send commands from your phone — end-to-end encrypted over a self-hosted relay.
This project adapts ADMINLTE 3 so the components can be used from dotnet core Blazor / Server / Web Assembly