Repository Index

An HTML documentation generator for Coq source files

📓 Organize. Navigate. Create. Markdown. Keep all your notes, todos, and journals inside Neovim without ever leaving the editor.

• journal
• neovim
• neovim-plugin
• neovim-plugins

Typed test data factories for Go. Compile-time checked field references, faker-backed defaults, and factories derived from factories.

• factories
• factory
• faker
• go

Neovim plugin for generating Java files (classes, interfaces, enums, records) with package-aware autocompletion.

• java
• nvim
• plugin

The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter

• cli
• design-systems
• design-tokens
• go

akka http gremlin 3 websocket connector

• scala
• backpressure
• bulk-loader
• akka-streams

Decorators for Component and Object arguments in Ember

Incrementally persists atom state to Local Storage in ClojureScript

An assembly tutorial for Game Boy showing how the scroll registers can be exploited to create some nice and interesting effects.

A console emulator for preact.

• preact
• preact-components
• console
• terminal

Layer animator for Framer

Arli is the command line tool, that's both — the Arduino Library manager that's decoupled from any IDE, as well a project generator based on "arduino-cmake". By coupling dependency management with CMake-based build system, Arli provides an easy way to package, share, and distribute complex Arduino projects.

Monitor and restart background threads.

Recreates directory and files from embedded filesystem using Go 1.16 embed.FS type.

• embedded
• resource-embedding
• golang
• filesystem

goriak - Go language driver for Riak KV

• riak-kv
• go
• database-connector
• database-adapter

Public repository for the IEEE CIG text adventurer competition.

Capacitor plugin that sends you accurate geolocation updates, even while the app is in the background.

• capacit
• capacitor-plugin
• plugin

Capacitor plugin to record the screen of the phone in native

• capacitor
• capacitor-plugin
• ionic

Capacitor plugin to upload file in native layer

• capacitor
• capacitor-plugin
• plugin

A modern mod manager for all your games with built-in Archipelago support.

• bepinex
• game-modding
• linux
• linux-gaming

Air Quality monitor using PMS5003 sensor and WiPy development board implemented in MicroPython

• pms5003
• wipy
• pycom
• micropython

Tilemap Helper : A GIMP plugin to help with creating tile maps and tile sets for games

• gimp
• gimp-plugin
• tile-sets
• tile-map

:art: Quickly generate mobile app icons and splash screens for Cordova builds

• cordova
• splash-screen
• splashscreen
• icon-generator

GraphQL c++ client code generator