Repository Index

Log work hours and get notified when it's time to leave the office and start to live.

Reimplementation of Natural Number Game in Coq

• coq
• lean
• logic
• game

The repository host gives no description.

DLIA is an AI-powered Docker log monitoring agent that uses Large Language Models (LLMs) to intelligently analyze container logs, detect anomalies, and provide contextual insights over time.

• docker
• llm
• openrouter

A library with a JsonSerializer and a set of annotations to serialize any PoJo as GeoJSON.

• geojson
• jackson-databind
• jts-topology-suite
• jackson-datatype-jts

Allows file resources to be attached to Refinerycms pages or blog entries

Convert Gatling log to Allure report

• allure
• reporting
• gatling
• allure-report

A Play framework module that performs request logging similar to an accesslog file in nginx or apache.

Simple Logging Facade for Golang

• golang
• logging
• simple
• slf4j

:arrow_forward: A .NET core library to handle the login to Backpack.tf. Backpack.tf is a trading site for Team Fortress 2, Counter-Strike: Global Offensive, and Dota 2. Community item pricing, item trading and stats, and much more.

• teamfortress2
• steam
• steambot
• steamweb

Comprehensive, easy-to-use timer system for GMS2

An iOS wrapper around Steam's OpenID login

Socket acceptor pool for Elixir

Histology Topography Cytometry Analysis Toolbox

Validates tabular CSV data using predefined validations, inspired from its Python homologue "Great Expectations".

• common-lisp
• csv
• data-validation
• great-expectations

Topological sort lib,Sorting and pruning of DAG graphs.

• dag
• topological
• topological-sort
• prune

Easy to use logging facilities for output to console in Ada programs

Antsichaut aims to automate the filling of a changelog.yaml used by antsibull-changelog

A simple to use log system, minimalist but with features for debugging and differentiation of messages

A modular Linux telemetry engine built with eBPF, libbpf CO-RE, and Modern C++ that captures kernel-level process, file, syscall, and network events through a portable event-processing pipeline for decoding, enrichment, filtering, and structured output—forming the foundation for higher-level runtime intelligence.

• cpp20
• ebpf
• event-logger
• filesystem

A lightweight Neovim plugin for inserting structured console.* statements in JavaScript and TypeScript files.

Module to allow environment specific styling of login screen and header ribbon.

An example Sitecore / FakeDB / TDS / Cloud Build project for blog posts.

MicroPython module for the Texas Instruments ADS1219 ADC

• micropython
• driver
• ads1219
• texas-instruments