Search, browse and load Quicklisp systems from Emacs.
- quicklisp
- emacs
- slime
- common-lisp
Repository Index
47,133 repositories indexed
625–648 of 761 · Most stars
A Neovim port of the classic blue theme from TextMate 💙
Scout is a standalone open source software solution for DIY video security.
A toggle button to switch between light/dark/system theme on the Web.
- dark-theme
- dark-mode
- dark
- theme-toggle
A jQuery plugin to create draggable content splitters to emulate frames and separate content.
Elixir port of Nakatani Shuyo's natural language detector
- elixir
- language-detection
- language
- elixir-lang
Anahata ASI - Artificial Super Intelligence - Cross-Platform, Modular, Enterprise Ready, Open Source, Pure Java, AGI and ASI Containers. Context Window Garbage Collector, Stateful Toolkits, Flight Recorder. Autonomous Observable Auditable JVM Agent with JIT java code execution. Anahata ASI SDK, Anahata ASI Desktop, Anahata ASI Studio - NetBeans.
The successor to F3BarGauge
- visualization
- visualizaton
- swift
- cocoapods
:heavy_check_mark: General purpose validation library for Common Lisp
- utilities
- validation
- lisp
- common-lisp
Harbor is a calm, paper-light color scheme with cool ink accents, inspired by Nordic tones, designed for clear, serene, and focused coding sessions.
Start your own Selenium test server with Chrome, Firefox and Internet Explorer drivers.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Adds an AI-powered "Translate" button to non-primary localized fields in Payload CMS. Automatically translates content from the primary language using OpenAI or other models. Fully configurable and integrates seamlessly with Payload’s native localization system.
- nodejs
- payload-plugin
- payloadcms
- typesc
A Visual Studio 2017 template for projects based on Xamarin.Forms 3.3 and MvvmCross 6.2
- xamarin
- xamarin-forms
- mvvm
- mvvmcross
Java importer skeleton for complicated, business-logic-heavy high-performance Neo4j imports directly from SQL databases, CSV files, etc.
- neo4j
- java
- neo4j-graphaware-framework
Agent Skills — agent-neutral autonomous product-building OS for 32+ AI coding tools. 23 skill categories · 28 agents · 149 reference docs · 37 platform variants. One-line prompts → deployed products on Cloudflare Workers.
Documentation contribs for SLIME (the Superior Lisp Interaction Mode for Emacs)
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
A repo-native coding-agent loop harness for Claude, Codex, Copilot, and other CLI agents. Agents can edit. Gates decide what lands. You set the plan in motion. The agents take a prompt, and each iteration must update specs and commit through guardrails.
Some useful additons for makepkg for archlinux
- archlinux
- bolt
- clang
- gcc
Farm Calculators WordPress Plugin
- agriculture
- calculator
- wordpress-plugin
Sentry client for Common Lisp
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Connect RaspberryPi GPIOs and 1-Wire temperature sensors to MQTT :cake::radio_button::satellite: