A portable and extensible Common Lisp LOOP implementation
- common-lisp
- extensible
- portable
Repository Index
47,133 repositories indexed
10,081–10,104 of 11,541 · Most stars
Prevents neovim from showing filler lines unnecessarily due to scrolling beyond buffer content
Modern, profile-based hosts file manager for macOS. Block ads, trackers, and distractions with ease.
- ad-blocker
- dns
- hosts-file
- macos
A collection of awesome resources for Splunk Enterprise Security
- awesome
- awesome-list
- splunk
- splunk-es
a version of the 2048 game for Coq
Brew formula generator for common lisp projects
The repository host gives no description.
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
i18n features for you projetct GMS 2.3
- gms
- json
- game-maker-studio-2
- gms2
Tile package is a compressed file containing a set of tiles and a tiling scheme, which can be used as a basemap in ArcGIS applications.
- arcgis
- basemap
- raster
- layer
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Professional botanical cultivation database with AI-powered plant insights
- agriculture
- botanical-classification
- botanical-research
- botany
Simple API for spawning RabbitMQ Producers and Consumers.
- amqp
- elixir
- elixir-lang
- rabbitmq
MusicXML parsing and layout library
Async MQTT client for CPython and MicroPython with asyncio support.
- async-python
- asyncio
- embedded
- embedded-systems
Common tasks for Erlang projects that use Mix
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
- agent-orchestration
- cli
- developer-tools
- llm-agents
Run etcd as an asynchronous inferior process
Read, modify, and write Common Lisp source code while preserving whitespace and comments
Enables expressive validation using decorators and/or a fluent API.
Kanrisuru helps you manage your remote servers with objected oriented ruby. Results come back as structured data, parsed, prepared and ready for you to easily use in your applications.
Testing framework for GameMaker projects with useful features.
This Symfony bundle lets you use the Kint function in your Twig templates. Kint is a print_r() replacement which produces a beautiful structured, collapsible and escaped output
A simple project creation tool that uses packaged templates
- project-template
- template-engine