Repository Index

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Template helpers for Session, logical operations and debug

• meteor
• meteor-package
• template
• templating

WebLogic Honeypot is a low interaction honeypot to detect CVE-2017-10271 in the Oracle WebLogic Server component of Oracle Fusion Middleware. This is a Remote Code Execution vulnerability.

• security
• security-tools
• honeypot
• deception

Multiaccountmanager 2026: standalone desktop setup, pre-configured features, scoped to multi-account

• automation
• desktop
• developer-tools
• multiaccount

Community-driven Discord and Telegram bot full installer for offline desktop use

• automation
• desktop
• developer-tools
• discord-boost-tools

ESMira is a tool for running longitudinal studies (ESM, AA, EMA, ...) with data collection and communication with participants being completely anonymous.

• esm
• aa
• ema
• mobile

invoke logic when transitioning between routes or closing window

Quanfima (Quantitative Analysis of Fibrous Materials)

• data-analysis
• material-science
• volumetric-data
• morphological-analysis

Develop streaming applications for IBM Streams in Python, Java & Scala.

• ibm-streams
• java
• scala
• python

An ultra-efficient Neovim based IDE for Python and C/C++ prototyping.

A framework to provide logic designed to prompt users at the ideal moment for a review of your app/software

An interactive image processing program for biologists written in Python.

• biologists
• python
• imagej
• calcium

Java importer skeleton for complicated, business-logic-heavy high-performance Neo4j imports directly from SQL databases, CSV files, etc.

• neo4j
• java
• neo4j-graphaware-framework

A code-first BDD testing framework for Kotlin & Java.

• agile-methodologies
• bdd
• bdd-framework
• fluent

Log4j, Knockout.js, WebSockets and Play! Log4Play is a module that provides a log4j appender which publishes log entries to an EventStream. The module also provides an user interface which uses a WebSocket creating a live stream of log messages. You can use this user interface to look at the logs of your application without needing to login to the actual box.

Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.

• postgres
• postgresql
• python
• infectious-disease

Implementation of the ROS behavior_tree_core package based on https://github.com/miccol/Behavior-Tree

A big data cluster management tool that creates and manages clusters of different technologies.

A simple PHP Steam login and User Detail package

• php
• composer
• steam
• steam-api

This is a small UUID library that implements a chronologically sortable UUID.

The repository host gives no description.

Logic and scripting engine for smart home automation, based around MQTT

A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.

• sharepoint-online
• sharepoint
• workflows
• powerautomate

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.

• vulkan
• vulkan-wrapper
• vulkan-library
• vulkan-cpp