Repository Index

Distributed Temporal Graph Analytics with Apache Flink

• graph
• property-graph
• distributed-graph-analytics
• apache-flink

TranslatedOne-click prompt enhancement next to the input box: rewrites a half-finished draft in place into an executable prompt, only rewriting and not sending.

• deepseek-harness
• dsh
• dsh-plugin
• prompt

Multi platform setup for Rocq, Rocq libraries and tools

Ankh: Optimized Protein Language Model

Awesome list of software that I use to do research in medical imaging.

• medical-imaging
• image-processing
• computer-vision
• machine-learning

Frictionless way of managing project-specific commands

• bash
• developer-tools
• productivity
• command-line

A reactive key-value store for Flutter projects. Like shared_preferences, but with Streams.

A Global event triggerer for golang. Defines functions as event with id string. Trigger the event anywhere from your project.

• event-handlers
• trigger

A TestNG like dataprovider runner for JUnit with many additional features

• junit
• java
• junit-dataprovider
• tdd

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

A full-featured radio automation system targeted for use in professional broadcast and media environments

Productivity Application - Kanban Style Productivity Management Application with Customizable Boards, Lists and Cards to Make You More Productive.

• react
• apollo-client
• es6
• react-router

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

A fast software factory workflow for Claude Code: one approval gate, parallel waves, routed models

Proper YAML support for Objective-C. Based on recommended libyaml.

Neo4j Bolt driver for .NET

• csharp
• dotnet
• driver
• neo4j

phase4 - AS4 client and server for integration into existing systems. Specific support for Peppol and CEF eDelivery built-in.

• as4
• java
• eprocurement
• einvoicing

Standalone puppeteer playground in browser's developer tools.

• puppeteer
• automation
• ide
• chrome-extension

go library for image programming (merge, crop, resize, watermark, animate, ease, transit)

• golang
• image
• merge
• crop

TranslatedThis Starter utilizes React, Recoil, React Query, React Hooks, Typescript, Axios And Vite. A back-office management system with an all-new tech stack

• react
• recoil
• react-query
• react-hooks

A map to your filesystem. A Neovim plugin for fast session switching and project discovery.

• luajit
• neovim
• neovim-plugin
• nvim

Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.

• academic-writing
• cli
• latex
• nodejs

An F# type provider for in-process R interop

• r-language
• r-programming
• type-providers

MirBSD Korn Shell Source Code Mirror – This is a publish-only repository and all pull requests are ignored. This repository is a mirror and may receive forced (non-fast-forward) updates. Please contribute to the CVS repository of The MirOS Project instead.

• c
• shell
• mksh
• ksh