Repository Index

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

A library that wraps OpenSSL, but also has pure Julia implementations for reference.

C library of useful Game Boy operations

Go minimalist typed environment variables library

• go
• golang
• library

Honeypot detection toolkit

• cybersecurity
• detection
• honeypot
• honeypot-detection

🦁 Lottie Animation Component

• lottie
• angular
• component

An endpoint that adds an active auth token to your preview URL

• directus
• directus-extension
• directus-extension-endpoint
• preview

:construction: Async helpers for Vert.x

• vertx
• async
• library

A lightweight Neovim plugin that lets you define, run, and manage multiple project-specific commands directly from your editor. By creating a .nvimlaunch file in your project root

• neovim
• neovim-plugin
• plugin
• task-runner

Inertia adapter for Imba.

Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.

• async
• client
• iot
• mqtt

:surfer: Malibu is a networking library built on promises

Add LSP functionality to specific Neovim buffers

• lsp-server
• lua
• neovim
• editing-support

A PowerShell scripting library to help with installing SolrCloud clusters on Windows.

• solrcloud
• powershell

Install `wasm-bindgen` by downloading the executable

• rust
• wasm-bindgen
• wasm
• yew

Monitoring OpenStreetMap with Datadog

A work in progress API for Uber Eats

• uber-api
• nodejs
• api-wrapper
• food

Rhino is an experimental serialization data provider for Sitecore

Provides a type for working with optional variables, fields in structures, functions and database models.

AsyncJob is an asynchronous queue job manager with light code, clear and speed. I hope so ! 😬

• async
• queue
• simple
• lightweight

👛 Tools for managing a vanity Web Monetization wallet

See where it leaks, stop paying for it — a live Claude Code status line that prices every turn, your subagents, cache rebuilds, plus limits, context and git.

• ai
• anthropic
• claude
• claude-code

Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.

• lint
• linter
• linters
• linting

Elixir Mix task to starring GitHub repository with `mix deps.get`ting dependent library

• bundle-star
• stars
• mix-tasks
• elixir