A generic goal preprocessing tool for proof automation tactics in Coq
Repository Index
47,133 repositories indexed
913–936 of 998 · Most stars
d3 utility to apply nelsons rules of process control to a set of data
Magento 2 extension for enhanced admin product navigation for merchants who want to simplify the process of navigating complex and custom product relationships.
- magento2
- magento2-admin
- magento2-extension
- magento2-module
Internet Archive's Sparkling Data Processing Library
Modular image and object analysis workflows for ImageJ/Fiji
- fiji-plugin
- modular
- imagej
- image-processing
A light-weight package for in-app micro batch processing
- batch
- batch-processing
- event-processing
- go
LSP process manager daemon for Neovim
thin wrapper around process.hrtime in node and for the performance API in the browser
.NET Audio Framework for audio and MIDI playback, editing, and plugin integration.
Lightweight on-device keyword spotting engine for iOS using CoreML and real-time audio streaming.
A processor for command-line arguments, an alternative to Getopt, written in D
High performant ETL engine written in TypeScript
- data-processing
- etl
- etl-framework
- streaming-data
Program AxiDraw with turtle graphics commands in Processing
Quick Demo for setting up a Babylon.js real time video processing in a web page.
Go-native browser automation via Chrome DevTools Protocol. No Node.js, no relay process, no external dependencies.
- browser-automation
- cdp
- chrome-devtools-protocol
- golang
Minimally Invasive bash Preprocessor
OtosakuStreamingASR-iOS is a real-time speech recognition engine for iOS, built with Swift and Core ML. It uses a fast and lightweight streaming Conformer model optimized for on-device inference. Designed for developers who need efficient audio transcription on mobile.
- asr
- conformer
- coreml
- ios
Elasticsearch Elixir Bulk Processor is a configurable manager for efficiently inserting data into Elasticsearch. This processor uses GenStages (data-exchange steps) for handling backpressure, and various settings to control the bulk payloads being uploaded to Elasticsearch.
- elixir
- elasticsearch
- bulk
- processor
Compile-time annotation processor for Spring Boot. Generates predictable REST APIs, DTOs, JSON Patch endpoints, and N+1 safe JPA repositories without runtime reflection.
- annotation-processor
- boilerplate
- code-generator
- dto
A small Python module for BMP image processing.
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
Svelte preprocessor for less
JSON Pointer processor for Common Lisp
x86 packer in masm, process hollowing, remapping ntdll