Stars
A tool to create visual HTML reports from collections of CSV/TSV tables
A multi-agent LLM system for detecting and resolving cognitive dissonance.
Download, modify and cache chocolatey packages locally
Haskell implementation of open games
A Helm chart to deploy a collection of Kyverno policies for security and best practice enforcement in Kubernetes clusters
Neuro-symbolic interpretation learning (mostly just language-learning, for now)
A curated paper list on neural symbolic and probabilistic logic.
LLM-based ontological extraction tools, including SPIRES
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Total Registry - enhanced Registry editor/viewer
Convert Excel sheet to markdown, json, tex, html, image and so on..
Adapt Shellcheck output to Test Anything Protocol
ShellCheck, a static analysis tool for shell scripts