Repository Index

Gregorian calendar date library in Common Lisp.

Jupyter Kernel for ACL2

• acl2
• theorem-prover
• jupyter
• jupyter-kernel

Manage your MongoDB databases directly from Neovim — connect, query, and explore data without leaving your editor.

• neovim-plugin

GTFS Data Pipeline for TfNSW Bus Datasets

• gtfs
• gtfs-static
• gtfs-realtime
• tfnsw

The repository host gives no description.

• lecture
• floating-point
• coq-formalization
• ieee-754

A tag input plugin built in aurelia

• aurelia
• tags
• aurelia-plugins
• tags-input

Fetch steam inventories as a readable stream to reduce ram usage

Array#forEach ponyfill for older browsers

Game on IPFS

Native Shamir Secret Sharing. Securely split & restore secrets on iOS, Android, and Web with a single Capacitor plugin.

• capacitor
• capacitor-android
• capacitor-ios
• capacitor-plugin

Micropython driver for Sure Electronics' HT1632C bicolor led matrix

• micropython
• esp8266

Neovim plugin that translates text using the DeepL API with multiple output modes (float, replace, append)

• lua
• neovim
• neovim-plugins
• nvim

This is ESP8266 micropython script designed to serve ESP8266 as web server showing readings from Microchip MCP39F521. Script developed and tested on esp8266-20161110-v1.8.6.bin. Script listens on port 80 and implements following commands:

plugin architecture and flexible log system for golang

• golang
• log
• plugin-architecture

Serve BinAST via a Cloudflare Worker

re-implementation of cl-annot

A structured, AI-assisted toolkit for defining hardware products that have software inside — from concept through engineering spec to presentation-ready materials in eight phases.

• claude-code
• embedded-systems
• firmware
• hardware

A reading pacer for Neovim

Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more

F1 Theme for omarchy linux w some nice features

• omarchy
• omarchy-theme

Hebrew - English Transliteration Engine

• transliteration
• english-language
• hebrew
• i18n

Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.

• async
• auto-scaling
• backpressure
• concurrency

Repo to accompany the series "Build A Pet Management System With Remix, Prisma, and Postgres" https://www.youtube.com/watch?v=wqyHGQlZcws&list=PLTnRtjQN5ieYu9SdwLvzKYFVtfqySY7FT

• crud
• html
• javascript
• postgresql

Track Recently visited and closed buffers

• neovim-buffers
• neovim-plugin