Repository Index

Build forms in React, without the tears 😭

• react
• forms
• form
• hooks

macOS video editor built for AI

• ai-video
• macos
• mcp
• swift

Zero-config CLI for TypeScript package development

• typescript
• rollup
• npm
• yarn

✨ Create server-rendered universal JavaScript applications with no configuration

• isomorphic
• universal
• react
• preact

Jev-like family of decision models built on top of Qwen3.5/3.8 you can train and run on your own

• decision-model
• jev
• qwen3

Web. Components. 😂

• react
• react-suspense
• react-hooks
• hooks

Matlab/Octave toolbox for deep learning. Includes Deep Belief Nets, Stacked Autoencoders, Convolutional Neural Nets, Convolutional Autoencoders and vanilla Neural Nets. Each method has examples to get you started.

A powerful, protocol-oriented library for working with the keychain in Swift.

Network Automation and Programmability Abstraction Layer with Multivendor support

Sends virtual input commands

Neovim plugin for interacting with LLM's and building editor integrated prompts.

• chatgpt
• neovim-plugin
• ai
• llm

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

• coq
• awesome
• resources
• awesome-list

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

Support for building npm packages in Nix and lightweight npm registry [maintainer=?]

• nix
• npm
• javascript
• build

:video_game: Gameboy link cable breakout PCB

• pcb
• gameboy

A simple neovim plugin that enables you to instantly create snippets on ray.so

• carbon
• lua
• neovim
• nvim

A simple plugin to greet you with a tip when you launch Neovim

Sublimate: Ridiculously fast full stack Swift prototyping with Vapor and Sourcery.

• vapor-3
• vapor
• vapor3
• sourcery

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

:video_game: Gameboy ROM for cartridge dumping

• gameboy
• rgbds
• rom
• dump

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

Slides from our talk at the useR 2022 conference on "The Untold Story of palmerpenguins"

:loop: Small wrapper around WebSocket browser API, for choo apps

Updated the Apple Mandelbrot Playground example